1358 search results - page 64 / 272 » Proceedings |
90
Voted
FORTE
1996
15 years 1 months ago
1996
I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptivenes...
103
click to vote
IJCAI
1993
15 years 1 months ago
1993
Human chess players exhibit a large variation in the amount of time they allocate for each move. Yet, the problem of devising resource allocation strategies for game playing did n...
91
Voted
COLING
1992
15 years 1 months ago
1992
This paper introduces at robust interactive method for speech understatnding. The generatlized LR patrsing is enhanced ill this approach. Patrsing proceeds fl'om left to righ...
USENIX
1990
15 years 1 months ago
1990
Tcl is an interpreter for a tool command language. It consists of a library package that is embedded in tools (such as editors, debuggers, etc.) as the basic command interpreter. ...
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
It has been shown recently that deterministic conformant planning problems can be translated into classical problems that can be solved by off-the-shelf classical planners. In this...