2237 search results - page 104 / 448 » Architectural design and evaluation of an efficient Web-craw... |
177
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
Boolean satisfiability (SAT) solvers are used heavily in hardware and software verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solver...
207
click to vote
CL
2008
Springer
15 years 6 months ago
2008
Springer
One of the most promising approaches to Java acceleration in embedded systems is a bytecode-to-C ahead-of-time compiler (AOTC). It improves the performance of a Java virtual machi...
166
click to vote
JCDL
2004
ACM
15 years 11 months ago
2004
ACM
This paper explains a method for leveraging the standard video timeline widget as an interactive visualization of image features. An eye-tracking experiment is described with resu...
179
click to vote
JCM
2007
15 years 6 months ago
2007
— Radio Frequency Identification (RFID) technology has a lot of potential to improve visibility across the supply chain and automate the business processes. This paper describes ...
187
click to vote
MOBISYS
2004
ACM
16 years 6 months ago
2004
ACM
The focus of surveillance missions is to acquire and verify information about enemy capabilities and positions of hostile targets. Such missions often involve a high element of ri...