4835 search results - page 69 / 967 » Intelligent Selection Tools |
161
Voted
TVLSI
2010
15 years 25 days ago
2010
In this paper, we present a low-power architectural synthesis system (LOPASS) for field-programmable gate-array (FPGA) designs with interconnect power estimation and optimization. ...
141
Voted
JLP
2008
15 years 6 months ago
2008
In the analysis of security protocols, methods and tools for reasoning about protocol behaviors have been quite effective. We aim to expand the scope of those methods and tools. W...
151
Voted
JWSR
2006
15 years 6 months ago
2006
When building a service
184
Voted
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
In this paper, we present a vision system for object recognition in aerial images, which enables broader mission profiles for Micro Air Vehicles (MAVs). The most important factors ...
168
Voted
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Contradiction is often seen as a defect of intelligent systems and a dangerous limitation on efficiency. In this paper we raise the question of whether, on the contrary, it could ...