14190 search results - page 2540 / 2838 » Abstractions for hybrid systems |
203
click to vote
CCGRID
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract--Resource discovery is a challenging issue in unstructured peer-to-peer networks. Blind search approaches, including flooding and random walks, are the two typical algorit...
198
Voted
CCGRID
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract--Reducing energy consumption for high end computing can bring various benefits such as, reduce operating costs, increase system reliability, and environment respect. This ...
222
click to vote
CCIA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Text detection in urban scenes is a hard task due to the high variability of text appearance: different text fonts, changes in the point of view, or partial occlusion are...
224
Voted
CLEF
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. This paper describes our approach to the Person Name Disambiguation clustering task in the Third Web People Search Evaluation Campaign(WePS3). The method focuses on two a...
235
click to vote
CIIA
2009
15 years 8 months ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...