1268 search results - page 90 / 254 » One Logic to Use Them All |
164
click to vote
CCECE
2006
IEEE
16 years 13 days 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...
203
click to vote
ACOM
2006
Springer
16 years 11 days 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...
175
click to vote
GBRPR
2005
Springer
15 years 12 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...
166
click to vote
DATESO
2009
15 years 4 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 ...
275
click to vote
POPL
2006
ACM
16 years 6 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...