1977 search results - page 337 / 396 » The satisfactory partition problem |
AAAI
2007
14 years 8 days ago
2007
In most mechanism design settings, optimal general-purpose mechanisms are not known. Thus the automated design of mechanisms tailored to specific instances of a decision scenario...
AAAI
2007
14 years 8 days ago
2007
We present Cluster Onset Detection (COD), a novel algorithm to aid in detection of epidemic outbreaks. COD employs unsupervised learning techniques in an online setting to partiti...
AVI
2008
14 years 8 days ago
2008
Acquiring small targets on a tablet or touch screen can be challenging. To address the problem, researchers have proposed techniques that enlarge the effective size of targets by ...
CDC
2008
IEEE
13 years 12 months ago
2008
IEEE
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (contPN). Specifically, we consider two problems: (1) given an initial set o...
CDC
2008
IEEE
13 years 12 months ago
2008
IEEE
Abstract-- The aim of this paper is to address left invertibility for dynamical systems with inputs and outputs in discrete sets. We study systems that evolve in discrete time with...