Sciweavers

34181 search results - page 409 / 6837
» The Computer System GRAPHOGRAPH
Sort
View
138
Voted
ICIP
2006
IEEE
16 years 5 months ago
Computing Pose Sequences Directly from Videos
An innovative extended Kalman filter (EKF) algorithm for pose tracking has been proposed in this paper. It has the advantages of both structure and motion-based (SAM-based) and tr...
Ying Kin Yu, Kin-hong Wong, Michael Ming-Yuen Chan...
115
Voted
ICIP
2006
IEEE
16 years 5 months ago
Curvelet-Based Texture Classification of Tissues in Computed Tomography
The research presented in this article is aimed at the development of an automated imaging system for classification of tissues in medical images obtained from Computed Tomography...
Lindsay Semler, Lucia Dettori
242
Voted
POPL
2001
ACM
16 years 4 months ago
Nomadic pict: correct communication infrastructure for mobile computation
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...
Asis Unyapoth, Peter Sewell
SIGMOD
2007
ACM
181views Database» more  SIGMOD 2007»
16 years 3 months ago
Progressive and selective merge: computing top-k with ad-hoc ranking functions
The family of threshold algorithm (i.e., TA) has been widely studied for efficiently computing top-k queries. TA uses a sort-merge framework that assumes data lists are pre-sorted...
Dong Xin, Jiawei Han, Kevin Chen-Chuan Chang
134
Voted
ICFP
2001
ACM
16 years 3 months ago
Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML
With few exceptions, macros have traditionally been viewed as operations on syntax trees or even on plain strings. This view makes macros seem ad hoc, and is at odds with two desi...
Steven E. Ganz, Amr Sabry, Walid Taha