8337 search results - page 73 / 1668 » Reasoning With Characteristic Models |
129
click to vote
KES
2000
Springer
15 years 7 months ago
2000
Springer
Cross-sectional pmfiles of medieval mouldings are often considered to be a vital form of data to Art Historians. Mouldings were often used to highlight salient areas of buildings,...
138
Voted
CMPB
2010
15 years 2 months ago
2010
Ligand prediction has been driven by a fundamental desire to understand more about how biomolecules recognize their ligands and by the commercial imperative to develop new drugs. ...
139
click to vote
KBS
2002
15 years 3 months ago
2002
Multilevel Flow Models (MFM) are graphical models of goals and functions of technical systems. MFM was invented by Morten Lind at the Technical University of Denmark and several n...
146
click to vote
STTT
2010
15 years 2 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
120
click to vote
IEAAIE
2000
Springer
15 years 7 months ago
2000
Springer
In this paper we study how the framework of Petri nets can be extended and applied to study recurrent events. We use possibility theory to realistically model temporal properties o...