Sciweavers

7197 search results - page 1312 / 1440
» On the computational power of BlenX
Sort
View
172
Voted
ISMVL
2010
IEEE
166views Hardware» more  ISMVL 2010»
15 years 10 months ago
Non-deterministic Multi-valued Logics--A Tutorial
Non-deterministic multi-valued matrices (Nmatrices) are a new, fruitful and quickly expanding field of research first introduced a few years ago. Since then it has been rapidly ...
Arnon Avron, Anna Zamansky
181
Voted
CDC
2009
IEEE
143views Control Systems» more  CDC 2009»
15 years 10 months ago
Management of electric vehicle charging to mitigate renewable generation intermittency and distribution network congestion
—We consider the management of electric vehicle (EV) loads within a market-based Electric Power System Control Area. EV load management achieves cost savings in both (i) EV batte...
Michael C. Caramanis, Justin M. Foster
185
Voted
AAAI
2007
15 years 9 months ago
DL-Lite in the Light of First-Order Logic
The use of ontologies in various application domains, such as Data Integration, the Semantic Web, or ontology-based data management, where ontologies provide the access to large a...
Alessandro Artale, Diego Calvanese, Roman Kontchak...
AIIDE
2007
15 years 9 months ago
SquadSmart: Hierarchical Planning and Coordinated Plan Execution for Squads of Characters
This paper presents an application of Hierarchical Transition Network (HTN) planning to a squad-based military simulation. The hierarchical planner produces collaborative plans fo...
Peter Gorniak, Ian Davis
196
Voted
AIPS
2008
15 years 9 months ago
Bounded-Parameter Partially Observable Markov Decision Processes
The POMDP is considered as a powerful model for planning under uncertainty. However, it is usually impractical to employ a POMDP with exact parameters to model precisely the real-...
Yaodong Ni, Zhi-Qiang Liu
« Prev « First page 1312 / 1440 Last » Next »