Sciweavers

1312 search results - page 215 / 263
» Construction of BPMN-based Business Process Model Base
Sort
View
IJCAI
2007
15 years 7 months ago
A Fully Connectionist Model Generator for Covered First-Order Logic Programs
We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples,...
Sebastian Bader, Pascal Hitzler, Steffen Höll...
ICPR
2006
IEEE
16 years 7 months ago
A Model-based Approach for Rigid Object Recognition
Most object recognition systems require large databases of real images for classifier training. To collect real images for this purpose is a difficult and expensive process. This ...
Chee Boon Chong, Fee-Lee Lim, Tele Tan
AGENTS
1997
Springer
15 years 10 months ago
Integrating Communicative Action, Conversations and Decision Theory to Coordinate Agents
The coordination problem in multi-agent systems is the problem of managing dependencies between the activities of autonomous agents, in conditions of incomplete knowledge about th...
Mihai Barbuceanu, Mark S. Fox
TCS
2008
15 years 6 months ago
Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof
This article presents formalized intuitionistic proofs for the polyhedra genus theorem, the Euler formula and a sufficient condition of planarity. They are based on a hypermap mod...
Jean-François Dufourd
CGF
1998
116views more  CGF 1998»
15 years 5 months ago
Importance Driven Texture Coordinate Optimization
Traditionally, texture coordinates have been generated based solely on the model’s geometry, often even before a model’s textures have been created. With the arrival of new te...
Peter-Pike J. Sloan, David M. Weinstein, J. Dean B...