Sciweavers

1040 search results - page 84 / 208
» A Syntactical Approach to Revision
Sort
View
SEMWEB
2007
Springer
14 years 4 months ago
A Framework for Cooperative Ontology Construction Based on Dependency Management of Modules
To construct large scale ontologies, two major approaches are discussed by many researchers. One is a cooperative construction of ontologies, and the other is a modularization of o...
Kouji Kozaki, Eiichi Sunagawa, Yoshinobu Kitamura,...
ECSQARU
2005
Springer
14 years 3 months ago
Conciliation and Consensus in Iterated Belief Merging
Two conciliation processes for intelligent agents based on an iterated mergethen-revise change function for belief profiles are introduced and studied. The first approach is ske...
Olivier Gauwin, Sébastien Konieczny, Pierre...
ICCAD
2000
IEEE
149views Hardware» more  ICCAD 2000»
14 years 2 months ago
Dynamic Response Time Optimization for SDF Graphs
Synchronous Data Flow (SDF) is a well-known model of computation that is widely used in the control engineering and digital signal processing domains. Existing scheduling methods ...
Dirk Ziegenbein, Jan Uerpmann, Ralph Ernst
GECCO
2006
Springer
146views Optimization» more  GECCO 2006»
14 years 1 months ago
Evolutionary motion design for humanoid robots
We propose a new approach to generating the motion of humanoid robots intuitively by means of Interactive Evolutionary Computation (IEC). In our system, novice users are able to d...
Toshihiko Yanase, Hitoshi Iba
DOOD
1991
Springer
107views Database» more  DOOD 1991»
14 years 1 months ago
Non-Determinism in Deductive Databases
This paper examines the problem of adding non-deterministic constructs to a declarative database language based on Horn Clause Logic. We revise a previously proposed approach, the...
Fosca Giannotti, Dino Pedreschi, Domenico Sacc&agr...