Sciweavers

2291 search results - page 346 / 459
» Representational Reasoning and Verification
Sort
View
AUSAI
2007
Springer
14 years 2 months ago
An Upper Ontology for Event Classifications and Relations
For knowledge representation and reasoning, there is a need to consider the nature of events because event data describe various features and behaviors of the occurrences of action...
Ken Kaneiwa, Michiaki Iwazume, Ken Fukuda
GECCO
2006
Springer
137views Optimization» more  GECCO 2006»
14 years 1 months ago
Structure and metaheuristics
Metaheuristics have often been shown to be effective for difficult combinatorial optimization problems. The reason for that, however, remains unclear. A framework for a theory of ...
Yossi Borenstein, Riccardo Poli
AIIA
2003
Springer
14 years 1 months ago
The Role of Different Solvers in Planning and Scheduling Integration
This paper attempts to analyze the issue of planning and scheduling integration from the point of view of information sharing. This concept is the basic bridging factor between the...
Federico Pecora, Amedeo Cesta
CGI
2003
IEEE
14 years 1 months ago
Reaching Volumes Generated by Means of Octal Trees and Cartesian Constraints
This paper presents a system to analyze the reachability of the human body. The inverse kinematics technique is employed to find which regions of space are reachable using a certa...
I. Rodríguez, Manuel Peinado, Ronan Boulic,...
KDD
2000
ACM
70views Data Mining» more  KDD 2000»
14 years 1 months ago
Variations on Multimedia Data Mining
Is multimedia data mining just a new combination of buzz-words or is it a new interdisciplinary field which not only incorporates methods and techniques from the relevant discipli...
Simeon J. Simoff