Sciweavers

27274 search results - page 4786 / 5455
» A framework for framework documentation
Sort
View
PVLDB
2010
152views more  PVLDB 2010»
15 years 5 months ago
k-Nearest Neighbors in Uncertain Graphs
Complex networks, such as biological, social, and communication networks, often entail uncertainty, and thus, can be modeled as probabilistic graphs. Similar to the problem of sim...
Michalis Potamias, Francesco Bonchi, Aristides Gio...
205
Voted
RAID
2010
Springer
15 years 5 months ago
HyperCheck: A Hardware-Assisted Integrity Monitor
Abstract. Over the past few years, virtualization has been employed to environments ranging from densely populated cloud computing clusters to home desktop computers. Security rese...
Jiang Wang, Angelos Stavrou, Anup K. Ghosh
185
Voted
RAS
2010
104views more  RAS 2010»
15 years 5 months ago
A hybrid controller based on the egocentric perceptual principle
In this paper we extend the control methodology based on Extended Markov Tracking (EMT) by providing the control algorithm with capabilities to calibrate and even partially recons...
Zinovi Rabinovich, Nicholas R. Jennings
RAS
2010
108views more  RAS 2010»
15 years 5 months ago
Experimental validation of collective circular motion for nonholonomic multi-vehicle systems
This paper presents the experimental validation of a recently proposed decentralized control law, for the collective circular motion of a team of nonholonomic vehicles about a vir...
Daniele Benedettelli, Nicola Ceccarelli, Andrea Ga...
RR
2010
Springer
15 years 5 months ago
Defeasibility in Answer Set Programs via Argumentation Theories
Defeasible reasoning has been studied extensively in the last two decades and many different and dissimilar approaches are currently on the table. This multitude of ideas has made...
Hui Wan, Michael Kifer, Benjamin N. Grosof
« Prev « First page 4786 / 5455 Last » Next »