5216 search results - page 998 / 1044 » Planning as Model Checking |
MIAR
2010
IEEE
14 years 9 months ago
2010
IEEE
Valve replacement is the most common therapy for diseased aortic valves. Percutaneous approaches are becoming increasingly popular, due to reduced procedural complications and lowe...
99
Voted
TON
2010
14 years 9 months ago
2010
—In this paper, we investigate the maximization of the coverage time for a clustered wireless sensor network (WSN) by optimal balancing of power consumption among cluster heads (...
109
Voted
ICWSM
2009
14 years 8 months ago
2009
Hearing people argue opposing sides of an issue can be a useful way to understand the topic; however, these debates or conversations often don't exist. Unfortunately, generat...
92
Voted
CONNECTION
2010
14 years 8 months ago
2010
Abstract. Despite the great amount of knowledge produced by the neuroscientific literature affective phenomena, current models tackling noncognitive aspects of behavior are often b...
163
click to vote
TASE
2011
IEEE
14 years 5 months ago
2011
IEEE
—In this paper, we present a new sketch-based system — KnitSketch, to improve the efficiency of process planning for knitting garments at an early design stage. The KnitSketch...