1021 search results - page 40 / 205 » Concepts in Proof Planning |
ETFA
2006
IEEE
14 years 2 months ago
2006
IEEE
Middleware for smart items can facilitate the coordinated execution of distributed components for early data processing. These components can be deployed to different nodes in the...
CAISE
2005
Springer
14 years 2 months ago
2005
Springer
We foresee that ontologies for interoperability are likely organized by a loosely linked network. In the case of digital libraries, the network is realized by a federation of ontol...
ICRA
2003
IEEE
14 years 1 months ago
2003
IEEE
– Borrowing a concept from hydrodynamic analysis, this paper presents stream functions which satisfy Laplace’s equation as a local-minima free method for producing potential-ï¬...
INTERACT
1997
13 years 10 months ago
1997
It is time to go beyond the established approaches in human-computer interaction. With the Augmented Reality (AR) design strategy humans are able to behave as much as possible in a...
ENTCS
2002
13 years 8 months ago
2002
Once you have proved your refinement correct, that is not the end. Real products, and their accompanying specifications, develop over time, with new improved versions having added...