Sciweavers

3680 search results - page 130 / 736
» cases 2010
Sort
View
KR
2010
Springer
15 years 11 months ago
Towards a Logic of Feature-Based Semantic Science Theories
The aim of semantic science is to allow for the publications of ontologies, observation data, and hypotheses/theories. Hypotheses make predictions on data and on new cases. Those ...
David Poole
ICRA
2010
IEEE
130views Robotics» more  ICRA 2010»
15 years 4 months ago
Maintaining connectivity in environments with obstacles
Abstract— Robotic routers (mobile robots with wireless communication capabilities) can create an adaptive wireless network and provide communication services for mobile users ond...
Onur Tekdas, Patrick A. Plonski, Nikhil Karnad, Vo...
MFCS
2010
Springer
15 years 4 months ago
Weights of Exact Threshold Functions
We consider Boolean exact threshold functions defined by linear equations, and in general degree d polynomials. We give upper and lower bounds on the maximum magnitude (absolute va...
László Babai, Kristoffer Arnsfelt Ha...
TODS
2010
108views more  TODS 2010»
15 years 4 months ago
A survey of B-tree locking techniques
: © A survey of B-tree locking techniques Goetz Graefe HP Laboratories HPL-2010-9 storage systems, databases, B-tree, indexes, concurrency control, locking B-trees have been ubiqu...
Goetz Graefe
RV
2010
Springer
133views Hardware» more  RV 2010»
15 years 4 months ago
Compensation-Aware Runtime Monitoring
To avoid large overheads induced by runtime monitoring, the use of asynchronous log-based monitoring is sometimes adopted — even though this implies that the system may proceed f...
Christian Colombo, Gordon J. Pace, Patrick Abela