469 search results - page 62 / 94 » Reasoning About Method Calls in Interface Specifications |
SIGMOD
2006
ACM
14 years 8 months ago
2006
ACM
Integration systems typically support only a restricted set of queries over the schema they export. The reason is that the participating information sources contribute limited con...
NIPS
2008
13 years 10 months ago
2008
One of the original goals of computer vision was to fully understand a natural scene. This requires solving several sub-problems simultaneously, including object detection, region...
AI
2003
Springer
14 years 1 months ago
2003
Springer
Private information about individuals that engage in e-commerce business transactions is of economic value to businesses for market analysis and for identifying possible future par...
WOSP
1998
ACM
14 years 26 days ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
ER
2007
Springer
14 years 2 months ago
2007
Springer
Provability-based semantic interoperability (PBSI) is a kind of interoperability that transcends mere syntactic translation to allow for robust, meaningful information exchange acr...