3367 search results - page 355 / 674 » Incremental assignment problem |
144
click to vote
HYBRID
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. In this paper we investigate the decidability of the reachability problem for planar non-linear hybrid systems. A planar hybrid system has the property that its state spa...
135
click to vote
GLOBECOM
2009
IEEE
15 years 8 months ago
2009
IEEE
—In wireless networks, mutual interference prevents wireless devices from correctly receiving packages from others and becomes one of the challenges in the design of protocols fo...
126
click to vote
AAAI
2007
15 years 7 months ago
2007
We present a novel approach to solving Quantified Boolean Formulas (QBF) that combines a search-based QBF solver with machine learning techniques. We show how classification met...
151
click to vote
ESA
2008
Springer
15 years 6 months ago
2008
Springer
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 ...
128
click to vote
AAAI
2010
15 years 6 months ago
2010
We discuss challenges and opportunities for developing generalized task markets where human and machine intelligence are enlisted to solve problems, based on a consideration of th...