Sciweavers

3993 search results - page 215 / 799
» Matchmaking for Structured Objects
Sort
View
173
Voted
ADVIS
2006
Springer
15 years 9 months ago
A Network-Based Indexing Method for Trajectories of Moving Objects
Recently many researchers have focused on management of historical trajectories of moving objects due to numerous size of accumulated data over time. However, most of them are conc...
Kyoung-Sook Kim, Mario A. Lopez, Scott T. Leuteneg...
159
Voted
ACL2
2006
ACM
15 years 9 months ago
Function memoization and unique object representation for ACL2 functions
We have developed an extension of ACL2 that includes the implementation of hash-based association lists and function memoization; this makes some algorithms execute more quickly. ...
Robert S. Boyer, Warren A. Hunt Jr.
154
Voted
FMCO
2004
Springer
120views Formal Methods» more  FMCO 2004»
15 years 9 months ago
A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects
This paper considers an integration of asynchronous communication, virtual binding, and multiple inheritance. Object orientation is the leading paradigm for concurrent and distribu...
Einar Broch Johnsen, Olaf Owe
132
Voted
DAGM
2001
Springer
15 years 8 months ago
Root Growth Measurements in Object Coordinates
We show a framework for growth analysis of plant roots in object coordinates which is one requirement for the botanical evaluation of growth mechanisms in roots. The method present...
Norbert Kirchgeßner, Hagen Spies, Hanno Scha...
147
Voted
ECCV
2006
Springer
15 years 7 months ago
Robust 3D Segmentation of Multiple Moving Objects Under Weak Perspective
A scene containing multiple independently moving, possibly occluding, rigid objects is considered under the weak perspective camera model. We obtain a set of feature points tracke...
Levente Hajder, Dmitry Chetverikov