11573 search results - page 276 / 2315 » Designing Relational Databases |
161
click to vote
AAI
2010
15 years 6 months ago
2010
We discuss issues in designing virtual humans for applications which require long-term voluntary use, and the problem of maintaining engagement with users over time. Concepts and t...
154
click to vote
TPDS
1998
15 years 6 months ago
1998
—Relational Coarsest Partition Problems (RCPPs) play a vital role in verifying concurrent systems. It is known that RCPPs are 3-complete and hence it may not be possible to desig...
191
click to vote
GIS
2010
ACM
15 years 5 months ago
2010
ACM
This paper proposes an efficient, decentralized algorithm for determining the topological relationship between two regions monitored by a geosensor network. Many centralized algo...
171
click to vote
BIRTHDAY
2003
Springer
15 years 12 months ago
2003
Springer
Equivalence between designs is a fundamental notion in verification. The linear and branching approaches to verification induce different notions of equivalence. When the designs...
181
click to vote
FLAIRS
2010
15 years 9 months ago
2010
Intelligent software agents (agents) adhering to the action selection paradigm have only one primary task that they need accomplish at any given time: to choose their next action....