1636 search results - page 113 / 328 » Reasoning About Quantum Systems |
191
click to vote
WCRE
2003
IEEE
15 years 11 months ago
2003
IEEE
There are many good reasons why organizations should perform software architecture reconstructions. However, few organizations are willing to pay for the effort. Software architec...
155
click to vote
ICCBR
2001
Springer
15 years 10 months ago
2001
Springer
Case-based reasoning systems need to know the limitations of their expertise. Having found the known source cases most relevant to a target problem, they must assess whether those ...
199
click to vote
IJAR
2010
15 years 4 months ago
2010
Geospatial Reasoning has been an essential aspect of military planning since the invention of cartography. Although maps have always been a focal point for developing situational ...
148
click to vote
EMSOFT
2007
Springer
16 years 13 days ago
2007
Springer
E-FRP is declarative language for programming resourcebounded, event-driven systems. The original high-level semantics of E-FRP requires that each event handler execute atomically...
167
click to vote
COSIT
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. The Double Cross calculus has been proposed for the purpose of navigation based on qualitative information about spatial configurations. Up until now, however, no result...