Sciweavers

500 search results - page 26 / 100
» Context models on sequences of covers
Sort
View
BMCBI
2008
146views more  BMCBI 2008»
13 years 9 months ago
Can molecular dynamics simulations help in discriminating correct from erroneous protein 3D models?
Background: Recent approaches for predicting the three-dimensional (3D) structure of proteins such as de novo or fold recognition methods mostly rely on simplified energy potentia...
Jean-François Taly, Antoine Marin, Jean-Fra...
GFKL
2007
Springer
184views Data Mining» more  GFKL 2007»
14 years 3 months ago
A Probabilistic Relational Model for Characterizing Situations in Dynamic Multi-Agent Systems
Abstract. Artificial systems with a high degree of autonomy require reliable semantic information about the context they operate in. State interpretation, however, is a difficult ...
Daniel Meyer-Delius, Christian Plagemann, Georg vo...
DAC
2010
ACM
14 years 27 days ago
Coverage in interpolation-based model checking
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
Hana Chockler, Daniel Kroening, Mitra Purandare
CORR
2006
Springer
121views Education» more  CORR 2006»
13 years 9 months ago
Use of UML and Model Transformations for Workflow Process Definitions
Currently many different modeling languages are used for workflow definitions in BPM systems. Authors of this paper analyze the two most popular graphical languages, with highest p...
Audris Kalnins, Valdis Vitolins
KCAP
2009
ACM
14 years 3 months ago
Modeling multiple-event situations across news articles
Readers interested in the context of an event covered in the news such as the dismissal of a lawsuit can benefit from easily finding out about the overall news situation, the lega...
Earl J. Wagner, Larry Birnbaum, Kenneth D. Forbus