8337 search results - page 300 / 1668 » Reasoning With Characteristic Models |
153
click to vote
IFM
1999
Springer
15 years 11 months ago
1999
Springer
Embedded real-time systems consist of a digital controller interacting with its physical environment. Developing such systems therefore involves specifying and reasoning about bot...
171
Voted
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
The SUPER project presents a novel approach to BPM by using Semantic Web and Semantic Web Services. Existing processes can be augmented with semantic annotations, so that formal re...
168
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Affective reasoning plays an increasingly important role in cognitive accounts of social interaction. Humans continuously assess one another's situational context, modify the...
136
click to vote
FUIN
2006
15 years 6 months ago
2006
Abstract. The paper presents a new calculus suitable to describe microbiological systems and their evolution. We use the calculus to model interactions among bacteria and bacteriop...
221
click to vote
DLOG
2009
15 years 4 months ago
2009
Abstract. Model-based most specific concepts are a non-standard reasoning service in Description Logics. They have turned out to be useful in knowledge base completion for ontologi...