624 search results - page 28 / 125 » A Structured Approach for Synthesizing Planners from Specifi... |
ACHI
2008
IEEE
13 years 10 months ago
2008
IEEE
The complicated user interfaces and complex functionality of nowadays interactive products lead to a new class of failures: People do not understand their products and thus fail t...
FPL
2006
Springer
14 years 9 days ago
2006
Springer
Many compute-intensive applications generate single result values by accessing clusters of nearby points in grids of one, two, or more dimensions. Often, the performance of FGPA i...
CDC
2008
IEEE
13 years 8 months ago
2008
IEEE
This paper is a response to requests from several respected colleagues in academia for a careful writeup of the classical time-optimal control based hybrid controllers that we have...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
Software systems are subject to ever increasing complexity and in need of efficient structuring. The concept of organization as an exand abstract real-world reference presents a pr...