Sciweavers

5671 search results - page 805 / 1135
» A Semantic Approach to Interpolation
Sort
View
ATAL
2011
Springer
14 years 6 months ago
Commitments with regulations: reasoning about safety and control in REGULA
Commitments provide a flexible means for specifying the business relationships among autonomous and heterogeneous agents, and lead to a natural way of enacting such relationships...
Elisa Marengo, Matteo Baldoni, Cristina Baroglio, ...
ECCV
1996
Springer
16 years 8 months ago
Imposing Hard Constraints on Soft Snakes
An approach is presented for imposing generic hard constraints on deformable models at a low computational cost, while preserving the good convergence properties of snake-like mod...
Pascal Fua, Christian Brechbühler
ICDE
2008
IEEE
144views Database» more  ICDE 2008»
16 years 8 months ago
Fast and Highly-Available Stream Processing over Wide Area Networks
Abstract-- We present a replication-based approach that realizes both fast and highly-available stream processing over wide area networks. In our approach, multiple operator replic...
Jeong-Hyon Hwang, Stanley B. Zdonik, Ugur Ç...
SIGSOFT
2005
ACM
16 years 7 months ago
Lightweight object specification with typestates
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
Kevin Bierhoff, Jonathan Aldrich
WWW
2009
ACM
16 years 7 months ago
Probabilistic question recommendation for question answering communities
User-Interactive Question Answering (QA) communities such as Yahoo! Answers are growing in popularity. However, as these QA sites always have thousands of new questions posted dai...
Mingcheng Qu, Guang Qiu, Xiaofei He, Cheng Zhang, ...