7075 search results - page 216 / 1415 » Models and heterogeneous reasoning |
156
click to vote
KDD
2009
ACM
16 years 5 months ago
2009
ACM
A heterogeneous information network is an information network composed of multiple types of objects. Clustering on such a network may lead to better understanding of both hidden s...
183
click to vote
SPAA
2012
ACM
13 years 7 months ago
2012
ACM
GPU-based heterogeneous clusters continue to draw attention from vendors and HPC users due to their high energy efficiency and much improved single-node computational performance...
111
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— In this paper, we propose a multi-level shadow identification scheme which is generally applicable without restrictions on the number of light sources, illumination conditions...
136
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
There exists a large variety of techniques to detect and correct software security vulnerabilities at the source code level, including human code reviews, testing, and static anal...
127
click to vote
CAV
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...