3729 search results - page 468 / 746 » On Formal Modeling of Agent Computations |
173
click to vote
ESSMAC
2003
Springer
15 years 12 months ago
2003
Springer
Kernel-based non-parametric models have been applied widely over recent years. However, the associated computational complexity imposes limitations on the applicability of those me...
178
click to vote
ISMB
1993
1993
Prediction of Primate Splice Junction Gene Sequences with a Cooperative Knowledge Acquisition System
15 years 8 months ago
Wepropose a cooperative conceptual modelling environment in which two agents interact : the machineand the humanexpert. Theformer is able to extract knowledge from data using a sy...
184
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: An adequate and expressive ontological representation of biological organisms and their parts requires formal reasoning mechanisms for their relations of physical aggr...
195
click to vote
GI
2005
Springer
16 years 6 days ago
2005
Springer
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...
205
Voted
RSP
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...