Sciweavers

6047 search results - page 650 / 1210
» Modeling with Extend
Sort
View
ECAI
2010
Springer
15 years 8 months ago
On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs
Abstract. The agent programming language GOLOG and the underlying Situation Calculus have become popular means for the modelling and control of autonomous agents such as mobile rob...
Jens Claßen, Gerhard Lakemeyer
BMCBI
2007
113views more  BMCBI 2007»
15 years 7 months ago
Learning biophysically-motivated parameters for alpha helix prediction
Background: Our goal is to develop a state-of-the-art protein secondary structure predictor, with an intuitive and biophysically-motivated energy model. We treat structure predict...
Blaise Gassend, Charles W. O'Donnell, William Thie...
FUIN
2006
97views more  FUIN 2006»
15 years 7 months ago
Interactive Systems with Registers and Voices
We present a model and a core programming language appropriate for modeling and programming interactive computing systems. The model consists of rv-systems (interactive systems wit...
Gheorghe Stefanescu
IPL
2008
89views more  IPL 2008»
15 years 7 months ago
On the tractability of coloring semirandom graphs
As part of the efforts put in understanding the intricacies of the k-colorability problem, different distributions over k-colorable graphs were analyzed. While the problem is notor...
Julia Böttcher, Dan Vilenchik
SAC
2006
ACM
15 years 7 months ago
Generating correct EPCs from configured C-EPCs
Process reference models play an important role for the alignment and configuration of commercial off-the-shelf Enterprise Systems to requirements of an organization. Recently, Co...
Jan Mendling, Jan Recker, Michael Rosemann, Wil M....