14515 search results - page 353 / 2903 » Efficient Embedded Computing |
198
click to vote
COMPGEOM
2004
ACM
16 years 6 days ago
2004
ACM
A frequently arising problem in computational geometry is when a physical structure, such as an ad-hoc wireless sensor network or a protein backbone, can measure local information...
180
click to vote
KR
1992
Springer
15 years 10 months ago
1992
Springer
Abstract, We consider the problem of integrating Reiter's default logic into terminological representation systems. It turns out that such an integration is less straightforwa...
181
click to vote
IFIPTCS
2000
15 years 10 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
190
click to vote
ACMDIS
2010
ACM
15 years 7 months ago
2010
ACM
One of the major challenges in the design of social technologies is the evaluation of their qualities of use and how they are appropriated over time. While the field of HCI abound...
255
click to vote
SIGMOD
2007
ACM
16 years 7 months ago
2007
ACM
This paper investigates a class of transform queries proposed by XQuery Update [6]. A transform query is defined in terms of XML update syntax. When posed on an XML tree T, it ret...