3799 search results - page 543 / 760 » An Engineering Approach to Formal Methods |
176
click to vote
ISSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Currently, since many SoCs include heterogeneous components such as CPUs, DSPs, ASICs, memories, buses, etc., system integration becomes a major step in the design flow. To enable...
183
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
This paper focuses on the problem of word detection and recognition in natural images. The problem is significantly more challenging than reading text in scanned documents, and h...
209
click to vote
EDBT
2006
ACM
16 years 6 months ago
2006
ACM
Advances of sensor and RFID technology provide significant new power for humans to sense, understand and manage the world. RFID provides fast data collection with precise identific...
187
click to vote
KBSE
2007
IEEE
16 years 26 days ago
2007
IEEE
Flow composition languages permit the construction of longrunning transactions from collections of independent, atomic services. Due to environmental limitations, such transaction...
164
click to vote
AVI
2008
15 years 9 months ago
2008
The development of intelligent assistants has largely benefited from the adoption of decision-theoretic (DT) approaches that enable an agent to reason and account for the uncertai...