4520 search results - page 307 / 904 » Algebraic Techniques for Timed Systems |
183
click to vote
MM
1996
ACM
15 years 11 months ago
1996
ACM
This paper presents recent work on a multimedia retrieval project at Cambridge University and Olivetti Research Limited ORL. We present novel techniques that allow extremely rapid...
187
click to vote
APWEB
2004
Springer
16 years 25 days ago
2004
Springer
This paper presents a web page fragmentation technique, which is utilized for extracting specific parts of web pages and building personalized portals using these fragments. It is ...
221
click to vote
PERCOM
2011
ACM
14 years 11 months ago
2011
ACM
—We present a technique to discover the position of sensors on the human body. Automatic on-body device localization ensures correctness and accuracy of measurements in health an...
191
click to vote
CC
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. This paper deals with coalescing in SSA-based register allocation. Current coalescing techniques all require the interference graph to be built. This is generally conside...
160
click to vote
FPL
2003
Springer
16 years 20 days ago
2003
Springer
Abstract. Globally Asynchronous Locally Synchronous (GALS) Systems have provoked renewed interest over recent years as they have the potential to combine the benefits of asynchron...