3724 search results - page 425 / 745 » Timed regular expressions |
205
click to vote
LICS
2005
IEEE
16 years 10 days ago
2005
IEEE
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
187
click to vote
WACV
2005
IEEE
16 years 10 days ago
2005
IEEE
Diabetic retinopathy is a major cause of blindness and microaneurysms are the first clinically observable manifestations of diabetic retinopathy. Regular screening and timely int...
179
click to vote
ACIVS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. The Full Search Block-Matching Motion Estimation (FSBME) algorithm is often employed in video coding for its regular dataflow and straightforward architectures. By iterat...
190
click to vote
ICCS
2005
Springer
16 years 8 days ago
2005
Springer
Georeference is a basic function of remote sensing data processing. Geo-corrected remote sensing data is an important source data for Geographic Information Systems (GIS) and other...
173
click to vote
LOCA
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. This paper investigates the efficiency of in-door next location prediction by comparing several prediction methods. The scenario concerns people in an office building vis...