1247 search results - page 146 / 250 » Reasoning about Function Objects |
WCRE
2003
IEEE
15 years 3 months ago
2003
IEEE
Merging and splitting source code artifacts is a common activity during the lifespan of a software system; as developers rethink the essential structure of a system or plan for a ...
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
Constructing presentations as stories is about presenting events that receive their relevance and meaning within the context of the presentation, and about means to define a well-...
ISMB
1993
14 years 11 months ago
1993
Experiment design and execution is a central activity in the natural sciences. The SeqERsystem provides a general architecture for the integration of automated planning techniques...
IAT
2008
IEEE
14 years 10 months ago
2008
IEEE
As information and communication technologies are becoming an integral part of our homes, the demand for AmI systems with assistive functionality is increasing. A great effort has...
NJC
2006
14 years 9 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...