Ginsberg, Matthew
162  Ergebnisse:
Personensuche X
?
9

Stochastic shipyard simulation with SimYard:

, In: Proceedings of the 38th conference on Winter simulation,
Dain, Oliver ; Ginsberg, Matthew ; Keenan, Erin... - p. 1770-1778 , 2006
 
?
10

Inference methods for a pseudo-boolean satisfiability solve:

, In: Eighteenth national conference on Artificial intelligence,
Dixon, Heidi E. ; Ginsberg, Matthew L. - p. 635-640 , 2002
 
?
11

Combining satisfiability techniques from AI and OR:

DIXON, HEIDI E. ; GINSBERG, MATTHEW L.
The Knowledge Engineering Review.  15 (2000)  1 - p. 31-45 , 2000
 
?
12

Epistemological and heuristic adequacy revisited:

Ginsberg, Matthew L.
ACM Computing Surveys (CSUR).  27 (1995)  3 - p. 331-333 , 1995
 
?
13

Approximate planning:

Ginsberg, Matthew L.
Artificial Intelligence.  76 (1995)  1-2 - p. 89-123 , 1995
 
?
14

Epistemological and heuristic adequacy revisited:

Ginsberg, Matthew L.
ACM Computing Surveys.  27 (1995)  3 - p. 331-333 , 1995
 
?
15

Modality and interrupts:

Ginsberg, Matthew L.
Journal of Automated Reasoning.  14 (1995)  1 - p. 43-91 , 1995
 
1-15