Sciweavers

8337 search results - page 1235 / 1668
» Reasoning With Characteristic Models
Sort
View
JLP
2008
121views more  JLP 2008»
15 years 5 months ago
A process algebraic view of shared dataspace coordination
Coordination languages were introduced in the early 80's as programming notations to manage the interaction among concurrent collaborating software entities. Process algebras...
Nadia Busi, Gianluigi Zavattaro
SCP
2010
172views more  SCP 2010»
15 years 5 months ago
Alternating-time stream logic for multi-agent systems
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
Sascha Klüppelholz, Christel Baier
BMVC
2010
15 years 4 months ago
Local Gaussian Processes for Pose Recognition from Noisy Inputs
Gaussian processes have been widely used as a method for inferring the pose of articulated bodies directly from image data. While able to model complex non-linear functions, they ...
Martin Fergie, Aphrodite Galata
EMNLP
2010
15 years 4 months ago
A Probabilistic Morphological Analyzer for Syriac
We define a probabilistic morphological analyzer using a data-driven approach for Syriac in order to facilitate the creation of an annotated corpus. Syriac is an under-resourced S...
Peter McClanahan, George Busby, Robbie Haertel, Kr...
183
Voted
ESEM
2010
ACM
15 years 4 months ago
Introducing the evaluation of complexity in functional size measurement: a UML-based approach
Functional Size Measures are often used for effort estimation. However, these measures do not take into account the amount and complexity of elaboration required, concentrating in...
Luigi Lavazza, Gabriela Robiolo
« Prev « First page 1235 / 1668 Last » Next »