Sciweavers

1863 search results - page 125 / 373
» Unifying Theories of Objects
Sort
View
ICFP
2006
ACM
14 years 9 months ago
Algebraic fusion of functions with an accumulating parameter and its improvement
We present a unifying solution to the problem of fusion of functions, where both the producer function and the consumer function have one accumulating parameter. The key idea in t...
Shin-ya Katsumata, Susumu Nishimura
TLDI
2009
ACM
142views Formal Methods» more  TLDI 2009»
14 years 6 months ago
Static extraction of sound hierarchical runtime object graphs
For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime obje...
Marwan Abi-Antoun, Jonathan Aldrich
IJCV
1998
135views more  IJCV 1998»
13 years 8 months ago
A Multibody Factorization Method for Independently Moving Objects
The structure-from-motion problem has been extensively studied in the field of computer vision. Yet, the bulk of the existing work assumes that the scene contains only a single mo...
João Paulo Costeira, Takeo Kanade
NN
2006
Springer
218views Neural Networks» more  NN 2006»
13 years 9 months ago
Modeling attention to salient proto-objects
Selective visual attention is believed to be responsible for serializing visual information for recognizing one object at a time in a complex scene. But how can we attend to objec...
Dirk Walther, Christof Koch
RTSS
2008
IEEE
14 years 3 months ago
Schedulability and Compatibility of Real Time Asynchronous Objects
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...
Mohammad Mahdi Jaghoori, Delphine Longuet, Frank S...