1302 search results - page 254 / 261 » Deductive Plan Generation |
ASM
2000
ASM
13 years 12 months ago
2000
ASM
ASMs have been used at Siemens Corporate Technology to design a component in a software package called FALKO. Main purpose of FALKO is the construction and validation of timetables...
ELPUB
1999
ACM
13 years 11 months ago
1999
ACM
and abstract entry. But since the burgeoning of the scholarly literature since World War II, these processes had become well-known and expertly done by most organizations in the pu...
ISPAN
1997
IEEE
13 years 11 months ago
1997
IEEE
This paper is concerned with the transparent parallelisation of declarative database queries, based on theoretical principles. We have designed an entire database architecture sui...
SIGGRAPH
1996
ACM
13 years 11 months ago
1996
ACM
This paper describes a prototype system for surgical planning and prediction of human facial shape after craniofacial and maxillofacial surgery for patients with facial deformitie...
RTSS
1992
IEEE
13 years 11 months ago
1992
IEEE
This paper addresses the problem of allocating (assigning and scheduling) periodic task modules to processing nodes in distributed real-time systems subject to task precedence and ...