1529 search results - page 155 / 306 » On the Construction of Ontologies based on Natural Language ... |
187
click to vote
IEEESCC
2005
IEEE
16 years 8 hour ago
2005
IEEE
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...
157
click to vote
ISSTA
2004
ACM
15 years 12 months ago
2004
ACM
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
184
click to vote
ENTCS
2006
15 years 6 months ago
2006
Chords are a declarative synchronisation construct based on the Join-Calculus, available in the programming language C. To our knowledge, chords have no formal model in an object-...
228
click to vote
WEBNET
2001
15 years 7 months ago
2001
We propose a generic presentation system for adaptive educational hypermedia that is highly independent from domain knowledge representation and application state management. Our a...
203
click to vote
RULEML
2010
Springer
15 years 4 months ago
2010
Springer
Rule bases are common in many business rule applications, clinical decision support programs, and other types of intelligent systems. As the size of the rule bases grows and the in...