Sciweavers

1320 search results - page 183 / 264
» A View Based Analysis of Workflow Modeling Languages
Sort
View
FM
2009
Springer
155views Formal Methods» more  FM 2009»
14 years 4 months ago
Towards an Operational Semantics for Alloy
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
Theophilos Giannakopoulos, Daniel J. Dougherty, Ka...
ATAL
2006
Springer
14 years 1 months ago
Integrating agent-oriented methodologies with UML-AT
There are many methodological approaches for Agent-Oriented Software Engineering, each one focusing on some features of multi-agent systems, but leaving others underdefined. For t...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...
ECCV
2006
Springer
14 years 1 months ago
Nonparametric Estimation of Multiple Structures with Outliers
Common problem encountered in the analysis of dynamic scene is the problem of simultaneous estimation of the number of models and their parameters. This problem becomes difficult a...
Wei Zhang, Jana Kosecká
BMCBI
2010
162views more  BMCBI 2010»
13 years 10 months ago
Moara: a Java library for extracting and normalizing gene and protein mentions
Background: Gene/protein recognition and normalization are important preliminary steps for many biological text mining tasks, such as information retrieval, protein-protein intera...
Mariana L. Neves, José María Carazo,...
ICVS
2003
Springer
14 years 3 months ago
A Self-Referential Perceptual Inference Framework for Video Interpretation
This paper presents an extensible architectural model for general content-based analysis and indexing of video data which can be customised for a given problem domain. Video interp...
Christopher Town, David Sinclair