Sciweavers

2050 search results - page 185 / 410
» A formal foundation for process modeling
Sort
View
GECCO
2004
Springer
175views Optimization» more  GECCO 2004»
15 years 12 months ago
Enhanced Innovation: A Fusion of Chance Discovery and Evolutionary Computation to Foster Creative Processes and Decision Making
Abstract. Human-based genetic algorithms are powerful tools for organizational modeling. If we enhance them using chance discovery techniques, we obtain an innovative approach for ...
Xavier Llorà, Kei Ohnishi, Ying-Ping Chen, ...
IAT
2006
IEEE
16 years 19 days ago
Specification and Verification of Dynamics in Cognitive Agent Models
Within many domains, among which biological and cognitive areas, multiple interacting processes occur among agents with dynamics that are hard to handle. Current approaches to ana...
Tibor Bosse, Catholijn M. Jonker, Lourens van der ...
ICTAC
2004
Springer
15 years 12 months ago
Verifying OWL and ORL Ontologies in PVS
The Semantic Web vision is being realized to reach the full potential of the Web. Semantic data modeling is the foundation of the Semantic Web. The Web Ontology Language (OWL) and ...
Jin Song Dong, Yuzhang Feng, Yuan-Fang Li
COOPIS
2004
IEEE
15 years 10 months ago
EMMA - A Query Algebra for Enhanced Multimedia Meta Objects
Enhanced Multimedia Meta Objects (EMMOs) are a novel approach to multimedia content modeling, combining media, semantic relationships between those media, as well as functionality ...
Sonja Zillner, Utz Westermann, Werner Winiwarter
FLAIRS
2008
15 years 9 months ago
Reasoning with Conditional Time-Intervals
Reasoning with conditional time-intervals representing activities or tasks that may or may not be executed in the final schedule is crucial in many scheduling applications. In Con...
Philippe Laborie, Jerome Rogerie