Sciweavers

575 search results - page 86 / 115
» Techniques for Efficient Processing in Runahead Execution En...
Sort
View
ICAD
2004
15 years 2 months ago
Soundserver: Data Sonification On-Demand for Computational Instances
The rapid accumulation of large collections of data has created the need for efficient and intelligent schemes for knowledge extraction and results analysis. The resulting informa...
Jorge Cardoso, Jos Carvalho, Luís Teixeira,...
IUI
2006
ACM
15 years 7 months ago
Three phase verification for spoken dialog clarification
Spoken dialog tasks incur many errors including speech recognition errors, understanding errors, and even dialog management errors. These errors create a big gap between user'...
Sangkeun Jung, Cheongjae Lee, Gary Geunbae Lee
NDSS
2009
IEEE
15 years 8 months ago
Scalable, Behavior-Based Malware Clustering
Anti-malware companies receive thousands of malware samples every day. To process this large quantity, a number of automated analysis tools were developed. These tools execute a m...
Ulrich Bayer, Paolo Milani Comparetti, Clemens Hla...
CIA
2006
Springer
15 years 5 months ago
Multilevel Approach to Agent-Based Task Allocation in Transportation
We present a hybrid algorithm for distributed task allocation problem in a cooperative logistics domain. Our approach aims to achieve superior computational performance by combinin...
Martin Rehák, Premysl Volf, Michal Pechouce...
WWW
2006
ACM
16 years 2 months ago
Analysis of communication models in web service compositions
In this paper we describe an approach for the verification of Web service compositions defined by sets of BPEL processes. The key aspect of such a verification is the model adopte...
Raman Kazhamiakin, Marco Pistore, Luca Santuari