8266 search results - page 319 / 1654 » Information About the Journal |
162
click to vote
WCRE
2005
IEEE
16 years 8 days ago
2005
IEEE
In this paper we present an infrastructure that supports interoperability among various reverse engineering tools and applications. We include an Application Programmer’s Interf...
188
click to vote
PAKDD
2010
ACM
15 years 11 months ago
2010
ACM
Abstract. Consider the scenario where information about a large network is distributed across several different parties or commercial entities. Intuitively, we would expect that th...
198
click to vote
GLVLSI
2000
IEEE
15 years 11 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
166
click to vote
EKAW
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. This paper presents one approach to acquire knowledge from multiple experts. The experts are grouped into multilevel hierarchical structure, according to the type of know...
171
click to vote
CHI
1996
ACM
15 years 11 months ago
1996
ACM
Real-time groupware systems often let each participant control their own view into a shared workspace. This strategy can reduce awareness about where and how others are interactin...