Sciweavers

1245 search results - page 72 / 249
» Playing with Conway's problem
Sort
View
ESA
2008
Springer
130views Algorithms» more  ESA 2008»
13 years 9 months ago
Linear Time Planarity Testing and Embedding of Strongly Connected Cyclic Level Graphs
Abstract. A level graph is a directed acyclic graph with a level assignment for each node. Such graphs play a prominent role in graph drawing. They express strict dependencies and ...
Christian Bachmaier, Wolfgang Brunner
WSC
2004
13 years 9 months ago
The Hats Simulator
The Hats Simulator is designed to be a lightweight proxy for many intelligence analysis problems, and thus a test environment for analysts' tools. It is a virtual world in wh...
Paul R. Cohen, Clayton T. Morrison
AAAI
1990
13 years 9 months ago
On the Role of Coherence in Abductive Explanation
Abduction is an important inference process underlying much of human intelligent activities, including text understanding, plan recognition, disease diagnosis, and physical device...
Hwee Tou Ng, Raymond J. Mooney
FSTTCS
2008
Springer
13 years 8 months ago
Average-Time Games
An average-time game is played on the infinite graph of configurations of a finite timed automaton. The two players, Min and Max, construct an infinite run of the automaton by ...
Marcin Jurdzinski, Ashutosh Trivedi
ICASSP
2010
IEEE
13 years 8 months ago
Frame domain signal processing: Framework and applications
Besides basis expansions, frames representations play a key role in signal processing. We thus consider the problem of frame domain signal processing, which is more complex and ch...
Amina Chebira, Matthew Fickus, Martin Vetterli