Sciweavers

1669 search results - page 90 / 334
» Structured Specification of Model Interpreters
Sort
View
151
Voted
AIA
2006
15 years 4 months ago
Synthesizing Diagnostic Explanations from Monitoring Data in Multi-Robot Systems
The paper discusses the issues concerning monitoring and diagnosis of a multi-robot system involving a team of mobile robots providing services in an environment which is partiall...
Roberto Micalizio, Pietro Torasso, Gianluca Torta
150
Voted
JMLR
2010
143views more  JMLR 2010»
14 years 10 months ago
Incremental Sigmoid Belief Networks for Grammar Learning
We propose a class of Bayesian networks appropriate for structured prediction problems where the Bayesian network's model structure is a function of the predicted output stru...
James Henderson, Ivan Titov
123
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
Detecting model inconsistency through operation-based model construction
Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system spec...
Xavier Blanc, Isabelle Mounier, Alix Mougenot, Tom...
132
Voted
APLAS
2005
ACM
15 years 9 months ago
Integrating Physical Systems in the Static Analysis of Embedded Control Software
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
Patrick Cousot
104
Voted
APBC
2004
125views Bioinformatics» more  APBC 2004»
15 years 4 months ago
A Dihedral Angle Database of Short Sub-sequences for Protein Structure Prediction
Protein structure prediction is considered to be the holy grail of bioinformatics. Ab initio and homology modelling are two important groups of methods used in protein structure p...
Saravanan Dayalan, Savitri Bevinakoppa, Heiko Schr...