9405 search results - page 1607 / 1881 » Computing a Model of Set Theory |
178
click to vote
ICDAR
2009
IEEE
16 years 27 days ago
2009
IEEE
Handwritten document images contain textlines with multi orientations, touching and overlapping characters within consecutive textlines, and small inter-line spacing making textli...
146
click to vote
ICTAI
2009
IEEE
16 years 24 days ago
2009
IEEE
Existing density-based data stream clustering algorithms use a two-phase scheme approach consisting of an online phase, in which raw data is processed to gather summary statistics...
175
Voted
IROS
2009
IEEE
16 years 24 days ago
2009
IEEE
Abstract— When a robot travels in urban area, Global Positional System (GPS) signals might be obstructed by buildings. Hence visual odometry is a choice. We notice that the verti...
158
click to vote
FOSSACS
2010
Springer
16 years 19 days ago
2010
Springer
Abstract. The reachability analysis of recursive programs that communicate asynchronously over reliable Fifo channels calls for restrictions to ensure decidability. We extend here ...
169
click to vote
APSEC
2008
IEEE
16 years 19 days ago
2008
IEEE
There is a growing trend to deploy web services in pervasive computing environments. Implementing web services on networked, embedded devices leads to a set of challenges, includi...