9425 search results - page 379 / 1885 » Some Notes on Models and Modelling |
136
click to vote
HPCA
2005
IEEE
15 years 10 months ago
2005
IEEE
With technology scaling, power dissipation and localized heating in global and semi-global bus wires are becoming increasingly important, and this necessitates the development of ...
152
click to vote
IRI
2005
IEEE
15 years 10 months ago
2005
IEEE
Heterogeneous systems are systems that obey different functioning laws. For instance, during the design of embedded systems, it is generally necessary to study both the controller...
135
click to vote
CAV
2005
Springer
15 years 10 months ago
2005
Springer
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...
121
click to vote
CIKM
2005
Springer
15 years 10 months ago
2005
Springer
The quality of document content, which is an issue that is usually ignored for the traditional ad hoc retrieval task, is a critical issue for Web search. Web pages have a huge var...
117
click to vote
ICAPR
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we propose a method for 3D model indexing based on 2D views, named AVC (Adaptive Views Clustering). The goal of this method is to provide an optimal selection of 2D ...