Sciweavers

351 search results - page 31 / 71
» Multi-Modal-Method: A Design Method for Building Multi-Modal...
Sort
View
VEE
2012
ACM
239views Virtualization» more  VEE 2012»
13 years 5 months ago
Transparent dynamic instrumentation
Process virtualization provides a virtual execution environment within which an unmodified application can be monitored and controlled while it executes. The provided layer of co...
Derek Bruening, Qin Zhao, Saman P. Amarasinghe
88
Voted
TLDI
2009
ACM
155views Formal Methods» more  TLDI 2009»
15 years 6 months ago
Opis: reliable distributed systems in OCaml
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
Pierre-Évariste Dagand, Dejan Kostic, Vikto...
AMAI
2004
Springer
14 years 9 months ago
Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming
Prototyping is a valuable technique to help software engineers explore the design space while gaining insight on the dynamics of the system. In this paper, we describe a method for...
Wamberto Weber Vasconcelos, David Stuart Robertson...
78
Voted
AI
2000
Springer
14 years 9 months ago
The Spatial Semantic Hierarchy
This paper reports the new steps undertaken in our work aimed to demonstrate the effectiveness of an omnidirectional vision sensor when conjugated with the Spatial Semantic Hierarc...
Benjamin Kuipers
RECSYS
2009
ACM
15 years 4 months ago
Using a trust network to improve top-N recommendation
Top-N item recommendation is one of the important tasks of recommenders. Collaborative filtering is the most popular approach to building recommender systems which can predict ra...
Mohsen Jamali, Martin Ester