Sciweavers

168 search results - page 6 / 34
» A Multivalued Logic Model of Planning
Sort
View
116
Voted
HICSS
2009
IEEE
151views Biometrics» more  HICSS 2009»
15 years 10 months ago
Application of Logic and Decision Models in Sustainable Ecosystem Management
The Northern Region of the USDA Forest Service is using the Ecosystem Management Decision Support System (EMDS) to evaluate ecosystem sustainability for National Forest plan revis...
Mark Jensen, Keith Reynolds, Ute Langner, Melissa ...
145
Voted
TSMC
2010
14 years 10 months ago
Active Learning of Plans for Safety and Reachability Goals With Partial Observability
Traditional planning assumes reachability goals and/or full observability. In this paper, we propose a novel solution for safety and reachability planning with partial observabilit...
Wonhong Nam, Rajeev Alur
116
Voted
ISMVL
2007
IEEE
92views Hardware» more  ISMVL 2007»
15 years 10 months ago
Experimental Studies on SAT-Based ATPG for Gate Delay Faults
The clock rate of modern chips is still increasing and at the same time the gate size decreases. As a result, already slight variations during the production process may cause a f...
Stephan Eggersglüß, Daniel Tille, G&oum...
111
Voted
ATAL
2011
Springer
14 years 3 months ago
Agents that speak: modelling communicative plans and information sources in a logic of announcements
Philippe Balbiani, Nadine Guiraud, Andreas Herzig,...
117
Voted
IIE
2007
75views more  IIE 2007»
15 years 3 months ago
Program and Evaluation Planning Light: Planning in the Real World
Although there are many high-quality models for program and evaluation planning, these models are often too intensive to be used in situations when time and resources are scarce. A...
Justus J. Randolph, Pasi J. Eronen