3134 search results - page 169 / 627 » Computing full disjunctions |
149
Voted
CSL
2007
Springer
15 years 10 months ago
2007
Springer
Calculi with explicit substitutions (ES) are widely used in different areas of computer science. Complex systems with ES were developed these last 15 years to capture the good comp...
145
Voted
ISVC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We investigate image retrieval using interest point descriptors. New geographic information systems such as Google Earth and Microsoft Virtual Earth are providing increas...
136
Voted
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...
128
Voted
TELETRAFFIC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This article proposes a hierarchical architecture for an infrastructure-based overlay network delivering multicast services. Such an overlay network is an alternative to ...
119
Voted
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents a new spatio-temporal motion estimation algorithm for video coding. The algorithm is based on optimization theory and consists of the strategies including 3D s...