821 search results - page 118 / 165 » A Model Driven Approach to the Analysis of Timeliness Proper... |
ISBI
2004
IEEE
16 years 16 days ago
2004
IEEE
The interpretation of the EM tomography of microtubules is challenging due to the low SNR and low contrast of the volume data. Therefore, image enhancement is crucial for the subs...
102
click to vote
FAC
2000
14 years 11 months ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
108
click to vote
ATAL
2009
Springer
15 years 6 months ago
2009
Springer
Multiagent systems are often characterized by complex, and sometimes unpredictable interactions amongst their autonomous components. While these systems can provide robust and sca...
181
click to vote
3DPVT
2006
IEEE
15 years 1 months ago
2006
IEEE
This paper introduces a feature based method for the fast generation of sparse 3D point clouds from multiple images with known pose. We extract sub-pixel edge elements (2D positio...
125
click to vote
ICLP
1992
Springer
15 years 3 months ago
1992
Springer
We discuss a declarative characterization of inheritance in logic programming. Our approach is inspired both by existing literature on denotational models for inheritance and by e...