1071 search results - page 145 / 215 » Modelling Ontology Evaluation and Validation |
180
click to vote
MICRO
2006
IEEE
16 years 7 days ago
2006
IEEE
Designing and optimizing high performance microprocessors is an increasingly difficult task due to the size and complexity of the processor design space, high cost of detailed si...
154
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
187
click to vote
IJCV
2006
15 years 6 months ago
2006
We develop a method for the estimation of articulated pose, such as that of the human body or the human hand, from a single (monocular) image. Pose estimation is formulated as a s...
172
Voted
SAINT
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper, we propose an analytic approach of modeling a closed-loop network with multiple feedback loops using fluid-flow approximation. Specifically, we model building bl...
191
click to vote
SIGECOM
2003
ACM
15 years 11 months ago
2003
ACM
Peer-to-Peer eCommerce communities are commonly perceived as an environment offering both opportunities and threats. One way to minimize threats in such an open community is to us...