3379 search results - page 256 / 676 » Combinators for Interaction Nets |
184
click to vote
TACAS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
134
click to vote
ICMCS
2006
IEEE
16 years 20 days ago
2006
IEEE
Object tracking plays an important role in multimedia surveillance systems, in which the major types of data are video and audio captured by cameras and microphone arrays. In this...
185
click to vote
ITICSE
2006
ACM
16 years 17 days ago
2006
ACM
Phishing, e-mails sent out by hackers to lure unsuspecting victims into giving up confidential information, has been the cause of countless security breaches and has experienced i...
157
click to vote
SIGIR
2006
ACM
16 years 17 days ago
2006
ACM
Large-scale web and text retrieval systems deal with amounts of data that greatly exceed the capacity of any single machine. To handle the necessary data volumes and query through...
188
click to vote
ICMCS
2005
IEEE
16 years 6 days ago
2005
IEEE
Modeling visual concepts using supervised or unsupervised machine learning approaches are becoming increasing important for video semantic indexing, retrieval, and filtering appli...