Sciweavers

6862 search results - page 999 / 1373
» Modeling Parallel Applications Performance on Heterogeneous ...
Sort
View
123
Voted
FOSSACS
2008
Springer
15 years 6 months ago
The Microcosm Principle and Concurrency in Coalgebra
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...
Ichiro Hasuo, Bart Jacobs, Ana Sokolova
120
Voted
LREC
2008
123views Education» more  LREC 2008»
15 years 6 months ago
Generalising Lexical Translation Strategies for MT Using Comparable Corpora
We report on an on-going research project aimed at increasing the range of translation equivalents which can be automatically discovered by MT systems. The methodology is based on...
Bogdan Babych, Serge Sharoff, Anthony Hartley
CLIMA
2011
14 years 4 months ago
Verifying Team Formation Protocols with Probabilistic Model Checking
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
Taolue Chen, Marta Z. Kwiatkowska, David Parker, A...
SIGGRAPH
1996
ACM
15 years 9 months ago
Simulating Facial Surgery Using Finite Element Models
This paper describes a prototype system for surgical planning and prediction of human facial shape after craniofacial and maxillofacial surgery for patients with facial deformitie...
Rolf M. Koch, Markus H. Gross, Friedrich R. Carls,...
ICRA
2010
IEEE
145views Robotics» more  ICRA 2010»
15 years 3 months ago
Modeling and decision making in spatio-temporal processes for environmental surveillance
Abstract— The need for efficient monitoring of spatiotemporal dynamics in large environmental surveillance applications motivates the use of robotic sensors to achieve sufficie...
Amarjeet Singh 0003, Fabio Ramos, Hugh D. Whyte, W...