7820 search results - page 401 / 1564 » Formalization of Time and Space |
266
click to vote
ISCA
2011
IEEE
14 years 11 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
188
click to vote
ECAI
2004
Springer
16 years 1 months ago
2004
Springer
Since our world is populated by entities that persist through time and that change over time it is important to represent knowledge about those entities in a formal manner. In this...
238
click to vote
ISSE
2007
15 years 7 months ago
2007
Increasingly, computer software must adapt dynamically to changing conditions. The correctness of adaptation cannot be rigorously addressed without precisely specifying the require...
176
click to vote
CVPR
2010
IEEE
16 years 1 months ago
2010
IEEE
The phenomenon of visual curve completion, where the visual system completes the missing part (e.g., due to occlusion) between two contour fragments, is a major problem in percept...
205
click to vote
APAL
2010
15 years 7 months ago
2010
Locatedness is one of the fundamental notions in constructive mathematics. The existence of a positivity predicate on a locale, i.e. the locale being overt, or open, has proved to ...