715 search results - page 98 / 143 » Second step algorithms in the Burrows-Wheeler compression al... |
RTS
2008
13 years 6 months ago
2008
A real-time object is one whose state may become invalid with the passage of time. A temporal validity interval is associated with the object state, and the real-time object is te...
GIS
2006
ACM
14 years 8 months ago
2006
ACM
Efficient evaluation of spatial queries is an important issue in spatial database. Among spatial operations, spatial join is very useful, intersection being the most common predic...
ICDM
2008
IEEE
14 years 2 months ago
2008
IEEE
Searching for images of people is an essential task for image and video search engines. However, current search engines have limited capabilities for this task since they rely on ...
CAV
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
SCOPES
2004
Springer
14 years 29 days ago
2004
Springer
For mobile embedded systems, the energy consumption is a limiting factor because of today’s battery capacities. Besides the processor, memory accesses consume a high amount of en...