Sciweavers

392 search results - page 37 / 79
» Integrating Constraints in an Object-Based Knowledge Represe...
Sort
View
LREC
2010
211views Education» more  LREC 2010»
13 years 10 months ago
EcoLexicon: An Environmental TKB
EcoLexicon, a multilingual knowledge resource on the environment, provides an internally coherent information system covering a wide range of specialized linguistic and conceptual...
Arianne Reimerink, Pilar León Araúz,...
BPM
2006
Springer
78views Business» more  BPM 2006»
14 years 24 days ago
Semantic Correctness in Adaptive Process Management Systems
Adaptivity in Process Management Systems (PMS) is key to their successful applicability in pratice. Approaches have already been developed to ensure the system correctness after ar...
Linh Thao Ly, Stefanie Rinderle, Peter Dadam
IEAAIE
1998
Springer
14 years 1 months ago
Complexity and Cognitive Computing
Abstract. This paper has as main goal to develop a hybrid expert system to minimize some of the complexity problems related to arti cial intelligence eld. For instance, we can ment...
Lourdes Mattos Brasil, Fernando Mendes de Azevedo,...
WWW
2005
ACM
14 years 9 months ago
CaTTS: calendar types and constraints for Web applications
Data referring to cultural calendars such as the widespread Gregorian dates but also dates after the Chinese, Hebrew, or Islamic calendars as well as data referring to professiona...
François Bry, Frank-André Rieß...
ATVA
2006
Springer
191views Hardware» more  ATVA 2006»
14 years 24 days ago
Automatic Verification of Hybrid Systems with Large Discrete State Space
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang,...