Sciweavers

2846 search results - page 189 / 570
» Real World Teleconferencing
Sort
View
SAT
2004
Springer
109views Hardware» more  SAT 2004»
14 years 2 months ago
A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints
The problem of solving boolean combinations of difference constraints is at the core of many important techniques such as planning, scheduling, and model-checking of real-time syst...
Alessandro Armando, Claudio Castellini, Enrico Giu...
CA
2003
IEEE
14 years 2 months ago
Agent Chameleons: Agent Minds and Bodies
Agent design has to date concerned itself with the issues pertaining to a single body embedded in a single environment, whether virtual or real. This paper discusses the notion of...
Brian R. Duffy, Gregory M. P. O'Hare, Alan N. Mart...
SI3D
2003
ACM
14 years 2 months ago
The MOVES institute's America's army operations game
: America’s Army If you go strictly by the number of young adults playing it at all hours, itʼs a success. But how does Americaʼs Army, the US Armyʼs free PC game strategic co...
Michael Zyda, Alex Mayberry, Casey Wardynski, Russ...
GCC
2003
Springer
14 years 2 months ago
On the Malicious Participants Problem in Computational Grid
Abstract. Computational Grid allows customers to submit tasks to service providers. To maintain the availability, fairness and performance, it is critical to protect Computational ...
Wenguang Chen, Weimin Zheng, Guangwen Yang
IPSN
2003
Springer
14 years 2 months ago
Distance Based Decision Fusion in a Distributed Wireless Sensor Network
Target classification fusion problem in a distributed, wireless sensor network is investigated. We propose a distance-based decision fusion scheme exploiting the relationship betw...
Marco F. Duarte, Yu Hen Hu