Sciweavers

1614 search results - page 151 / 323
» Learning Rules and Their Exceptions
Sort
View
ICIP
2010
IEEE
14 years 8 months ago
Discarding moving objects in quasi-simultaneous stereovision
This paper proposes a statistical rejection rule, designed for small baseline stereo satellites. The method learns an a contrario model for image blocks and discards the casual ma...
Neus Sabater, Jean-Michel Morel, Andrés Alm...
166
Voted
ICDE
1999
IEEE
94views Database» more  ICDE 1999»
15 years 11 months ago
Scalable Trigger Processing
Current database trigger systems have extremely limited scalability. This paper proposes a way to develop a truly scalable trigger system. Scalability to large numbers of trigger...
Eric N. Hanson, Chris Carnes, Lan Huang, Mohan Kon...
TLDI
2009
ACM
111views Formal Methods» more  TLDI 2009»
15 years 7 months ago
A generic type-and-effect system
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
Daniel Marino, Todd D. Millstein
SLE
2009
Springer
15 years 4 months ago
Language Boxes
As domain-specific modeling begins to attract widespread acceptance, pressure is increasing for the development of new domainspecific languages. Unfortunately these DSLs typicall...
Lukas Renggli, Marcus Denker, Oscar Nierstrasz
CAISE
2004
Springer
15 years 3 months ago
Enabling Personalized Composition and Adaptive Provisioning of Web Services
Abstract. The proliferation of interconnected computing devices is fostering the emergence of environments where Web services made available to mobile users are a commodity. Unfort...
Quan Z. Sheng, Boualem Benatallah, Zakaria Maamar,...