Sciweavers

20294 search results - page 290 / 4059
» Algorithmic Information Theory
Sort
View
STACS
2010
Springer
16 years 1 months ago
Beyond Bidimensionality: Parameterized Subexponential Algorithms on Directed Graphs
In 2000 Alber et al. [SWAT 2000 ] obtained the first parameterized subexponential algorithm on undirected planar graphs by showing that k-DOMINATING SET is solvable in time 2O( ...
Frederic Dorn, Fedor V. Fomin, Daniel Lokshtanov, ...
HT
2004
ACM
16 years 4 days ago
WARP: a web-based dynamic spatial hypertext
WARP is a Web-based dynamic spatial hypertext that runs in a Web browser. WARP includes the ability to transclude other spatial hypertexts as collections. WARP also enables annota...
Luis Francisco-Revilla, Frank M. Shipman III
LCN
2006
IEEE
16 years 22 days ago
On Measuring Anonymity For Wireless Mobile Ad-hoc Networks
We propose an evidence theory based anonymity measuring approach for wireless mobile ad-hoc networks. In our approach, an evidence is a measure of the number of detected packets w...
Dijiang Huang
IJCAI
1989
15 years 7 months ago
Diagnosis with Behavioral Modes
Diagnostic tasks involve identifying faulty components from observations of symptomatic device behavior. This paper presents a general diagnostic theory that uses the perspective ...
Johan de Kleer, Brian C. Williams
AI
2008
Springer
15 years 6 months ago
Pouring liquids: A study in commonsense physical reasoning
This paper presents a theory that supports commonsense, qualitative reasoning about the flow of liquid around slowly moving solid objects; specifically, inferring that liquid can ...
Ernest Davis