5550 search results - page 806 / 1110 » Different Approaches to Proof Systems |
186
click to vote
AAMAS
2007
Springer
15 years 7 months ago
2007
Springer
Protocols enable unambiguous, smooth interactions among agents. Commitments among agents are a powerful means of developing protocols. Commitments enable flexible execution of pro...
193
click to vote
IJNSEC
2008
15 years 6 months ago
2008
The paper discusses our research in development of general and systematic methods for intrusion prevention. The key idea is to use data mining techniques to discover repeated patt...
162
Voted
JRTIP
2007
15 years 6 months ago
2007
We propose a marker-less model-based camera tracking approach, which makes use of GPU-assisted analysis-by-synthesis methods on a very wide field of view (e.g. fish-eye) camera. ...
248
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
New technologies have recently emerged to challenge the very nature of computing: multicore processors, virtualized operating systems and networks, and data-center clouds. One can...
211
click to vote
CLEF
2009
Springer
15 years 4 months ago
2009
Springer
This paper summarises activities from the iCLEF 2009 task. As in 2008, the task was organised based on users participating in an interactive cross-language image search experiment...