10907 search results - page 295 / 2182 » Constraint Based Strategies |
182
click to vote
PETRA
2010
ACM
15 years 10 months ago
2010
ACM
We present a mobile platform for body sensor networking based on a smartphone for lightweight signal processing of sensor mote data. The platform allows for local processing of da...
143
click to vote
HICSS
2000
IEEE
15 years 9 months ago
2000
IEEE
: Successfully incorporating utility engineering functions into business decisions requires integrating the numeric-intensive world of the engineer with business systems that are d...
155
click to vote
AIPS
2007
15 years 8 months ago
2007
Planning in domains with temporal and numerical properties is an important research problem. One application of this is the resource production problem in real-time strategy (RTS)...
192
click to vote
AIIDE
2008
15 years 8 months ago
2008
The quality of AI opponents often leaves a lot to be desired, which poses many attractive challenges for AI researchers. In this respect, Turn-based Strategy (TBS) games are of pa...
173
click to vote
CHARME
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Automatic formal verification techniques generally require exponential resources with respect to the number of primary inputs of a netlist. In this paper, we present sev...