Sciweavers

2251 search results - page 194 / 451
» Specification and Implementation Problems for C
Sort
View
WCE
2007
15 years 5 months ago
Metaplanning Model Based in an Organizational Memory
— When problems are present in production, equipment or the process which are critical for organizations, many management personnel and experts have to meet to propose a solution...
José Bernardo Parra Victorino, Raúl ...
ECAI
2010
Springer
15 years 5 months ago
Constraint-Based Controller Synthesis in Non-Deterministic and Partially Observable Domains
Controller synthesis consists in automatically building controllers taking as inputs observation data and returning outputs guaranteeing that the controlled system satisfies some d...
Cédric Pralet, Gérard Verfaillie, Mi...
IJVR
2008
111views more  IJVR 2008»
15 years 4 months ago
Improve a Game Board based on Cultural Algorithms
Evolutionary computation is a generic term used to make reference to the solution of computational problems planned and implemented based on models of an evolutionary process. Most...
Alberto Ochoa, Alejandro Padilla, Saúl Gonz...
PAMI
2006
99views more  PAMI 2006»
15 years 4 months ago
Symbolic Signatures for Deformable Shapes
Recognizing classes of objects from their shape is an unsolved problem in machine vision that entails the ability of a computer system to represent and generalize complex geometric...
Salvador Ruiz-Correa, Linda G. Shapiro, Marina Mei...
ICDE
2001
IEEE
159views Database» more  ICDE 2001»
16 years 5 months ago
Workflow and Process Synchronization with Interaction Expressions and Graphs
Current workflow management technology does not provide adequate means for inter-workflow coordination as concurrently executing workflows are considered completely independent. W...
Christian Heinlein