Sciweavers

7197 search results - page 1312 / 1440
» On the computational power of BlenX
Sort
View
ISMVL
2010
IEEE
166views Hardware» more  ISMVL 2010»
15 years 9 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
CDC
2009
IEEE
143views Control Systems» more  CDC 2009»
15 years 9 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
AAAI
2007
15 years 8 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 8 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
AIPS
2008
15 years 8 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 »