3222 search results - page 627 / 645 » A Data Model for Effectively Computable Functions |
118
click to vote
CI
2000
14 years 9 months ago
2000
Kowalski and Sergot's Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which prop...
WINET
2002
14 years 9 months ago
2002
Wireless ad-hoc sensor networks have the potential to provide the missing interface between the physical world and the Internet, thus impacting a large number of users. This conne...
107
click to vote
HICSS
2007
IEEE
15 years 4 months ago
2007
IEEE
Understanding collaborative work practices represents a critical factor in and a necessary fundament for the development of effective Computer Supported Collaborative Work (CSCW) ...
CVPR
2006
IEEE
15 years 11 months ago
2006
IEEE
Image matching is an essential task in many computer vision applications. It is obvious that thorough utilization of all available information is critical for the success of match...
CSE
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—Today’s wirelessly networked embedded systems underlie a vast array of electronic devices, performing computation, communication, and input/output. A major design goal...