7988 search results - page 145 / 1598 » A Useful Undecidable Theory |
90
Voted
INFFUS
2006
15 years 24 days ago
2006
Intelligent agents have to be able to merge informational inputs received from different sources in a coherent and rational way. Several proposals have been made for information m...
120
Voted
AROBOTS
2002
15 years 20 days ago
2002
If we are to build human-like robots that can interact naturally with people, our robots must know not only about the properties of objects but also the properties of animate agent...
95
Voted
VMCAI
2009
Springer
15 years 7 months ago
2009
Springer
Vectors and bags are basic collection data structures, which are used frequently in programs and specifications. Reasoning about these data structures is supported by established ...
103
click to vote
TASE
2009
IEEE
15 years 7 months ago
2009
IEEE
We explore the interactions between programvariable state visibility and communication behaviour in state-rich CSP-like processes, using the Unifying Theories of Programming (UTP)...
83
Voted
OOPSLA
2007
Springer
15 years 7 months ago
2007
Springer
Unit testing frameworks like JUnit are a popular and effective way to prevent developer bugs. We are investigating two ways of building on these frameworks to prevent more bugs wi...