1864 search results - page 68 / 373 » Formal topology and domains |
141
click to vote
CONTEXT
2007
Springer
16 years 11 days ago
2007
Springer
The paper focuses on a difficult problem when formalizing knowledge: What about the possible concepts that didn’t make it into the formalization? We call such concepts the uncons...
154
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Motivated by the proliferation and usefulness of Domain Specific Languages as well as the demand in enriching well established languages by high level capabilities like p...
156
click to vote
JAIR
2000
15 years 6 months ago
2000
The recent approaches of extending the GRAPHPLAN algorithm to handle more expressive planning formalisms raise the question of what the formal meaning of "expressive power&qu...
160
click to vote
ENTCS
2007
15 years 6 months ago
2007
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...
167
click to vote
SAFECOMP
2010
Springer
15 years 4 months ago
2010
Springer
Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with design...