8658 search results - page 1718 / 1732 » Models of Command and Control |
CORR
2000
Springer
14 years 10 months ago
2000
Springer
-BASED ABSTRACT INTERPRETATION OF PROLOG1 BAUDOUIN LE CHARLIER, SABINA ROSSI, AND PASCAL VAN HENTENRYCK . Abstract interpretation is a general methodology for systematic developmen...
IJCGA
2000
14 years 10 months ago
2000
Quadrilateral meshing algorithms impose certain constraints on the number of intervals or mesh edges of the curves bounding a surface. When constructing a conformal mesh of a colle...
JAIR
2000
14 years 10 months ago
2000
Recently model checking representation and search techniques were shown to be efciently applicable to planning, in particular to non-deterministic planning. Such planning approach...
JCSC
2000
14 years 10 months ago
2000
A long range Laser Range Finder (LRF) is proposed and developed in this paper. A mathematical model, which relates the relation between object distance and Position Sensitive Dete...
JUCS
2000
14 years 10 months ago
2000
: This paper presents an evaluation of our Scheduled Dataflow (SDF) Processor. Recent focus in the field of new processor architectures is mainly on VLIW (e.g. IA-64), superscalar ...