1268 search results - page 90 / 254 » One Logic to Use Them All |
CCECE
2006
IEEE
14 years 4 months ago
2006
IEEE
— In this paper, we study a cooperative network with one source-destination pair and a relay assisting their communication. All terminals have multiple antennas, which enables th...
ACOM
2006
Springer
14 years 4 months ago
2006
Springer
The basic idea behind a negotiation is that the agents make offers that they judge “good” and respond to the offers made to them until a compromise is reached. The choice of th...
GBRPR
2005
Springer
14 years 3 months ago
2005
Springer
One of the main difficult problem in video analysis is to track moving objects during a video sequence, especially in presence of occlusions. Unfortunately, almost all the differ...
DATESO
2009
13 years 7 months ago
2009
In order to realize the idea of the Semantic Web, many tools and technologies need to be developed, including a query language. One of the most important technologies that creates ...
POPL
2006
ACM
14 years 10 months ago
2006
ACM
This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is ind...