2171 search results - page 74 / 435 » A Generic Process Algebra |
120
Voted
ICIP
2010
IEEE
14 years 10 months ago
2010
IEEE
We develop a robust technique to find similar matches of human actions in video. Given a query video, Motion History Images (MHI) are constructed for consecutive keyframes. This i...
90
Voted
LISP
2006
15 years 21 days ago
2006
In this paper we survey some well-known approaches proposed as general models for calculi dealing with names (like for example process calculi with name-passing). We focus on (pre)...
101
click to vote
ICIP
2002
IEEE
16 years 2 months ago
2002
IEEE
This paper describes an efficient method to compare two triangular meshes. Meshes considered here contain geometric features as well as other surface attributes such as material c...
191
click to vote
POPL
2001
ACM
16 years 1 months ago
2001
ACM
We propose a general, powerful framework of type systems for the -calculus, and show that we can obtain as its instances a variety of type systems guaranteeing non-trivial propert...
184
Voted
SIGMOD
2009
ACM
16 years 1 months ago
2009
ACM
Current semi-structured keyword search and natural language query processing systems use ad hoc approaches to take advantage of structural information. Although intuitive, they ar...