7811 search results - page 491 / 1563 » computer 2004 |
160
click to vote
ACMSE
2004
ACM
16 years 8 days ago
2004
ACM
The explosive growth in the number of mobile devices such as Internet-enabled cellular phones, wireless handheld devices, wireless laptops, and tablet PCs has driven the correspon...
167
click to vote
FOSSACS
2004
Springer
16 years 7 days ago
2004
Springer
We describe a game semantics for local names in a functional setting. It is based on a category of dialogue games acted upon by the automorphism group of the natural numbers; this ...
155
click to vote
SODA
2004
ACM
15 years 8 months ago
2004
ACM
We give a forbidden substructure characterization of set families that have the consecutive-ones property, and a linear time algorithm to find the forbidden substructure if a set ...
190
click to vote
INTEGRATION
2008
15 years 6 months ago
2008
The paper proposes an efficient terminal and model order reduction method for compact modeling of interconnect circuits with many terminals. The new method is inspired by the rece...
209
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
Abstract. We present a method for learning feature descriptors using multiple images, motivated by the problems of mobile robot navigation and localization. The technique uses the ...