Sciweavers

1181 search results - page 158 / 237
» constraints 2004
Sort
View
AAMAS
2004
Springer
13 years 8 months ago
MARP: A Multi-Agent Routing Protocol for Mobile Wireless Ad Hoc Networks
ACT Supporting mobility in a multi hop wireless environment like the MANET still remains a point of research, especially in the context of time-constrained applications. The incapa...
Romit Roy Choudhury, Krishna Paul, Somprakash Band...
SAS
2004
Springer
14 years 2 months ago
Generalized Records and Spatial Conjunction in Role Logic
Role logic is a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of role logic corresponds to two-va...
Viktor Kuncak, Martin C. Rinard
SAT
2004
Springer
106views Hardware» more  SAT 2004»
14 years 2 months ago
Local Search with Bootstrapping
We propose and study a technique to improve the performance of those local-search SAT solvers that proceed by executing a prespecified number of tries, each starting with an eleme...
Lengning Liu, Miroslaw Truszczynski
APVIS
2004
13 years 10 months ago
Graph Interaction through Force-Based Skeletal Animation
Skeletal animation is a concept that has been used in the areas of motion pictures and computer games to create realistic motion for the animation of articulated characters. Recen...
Colin Murray, Damian Merrick, Masahiro Takatsuka
IWEC
2004
13 years 10 months ago
Social Translucence of the Xbox Live Voice Channel
Abstract. In this paper we use the concept of `social translucence' to understand users' initial reaction to, and use of, the voice communication channel provided by Xbox...
Martin R. Gibbs, Kevin Hew, Greg Wadley