3174 search results - page 65 / 635 » An Exploration of the Permanent-Determinant Method |
159
click to vote
MIR
2004
ACM
15 years 11 months ago
2004
ACM
An increasing amount of heterogeneous information about scientific research is becoming available on-line. This potentially allows users to explore the information from multiple p...
142
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Design space exploration during high level synthesis is often conducted through ad-hoc probing of the solution space using some scheduling algorithm. This is not only time consumi...
178
click to vote
IMC
2006
ACM
16 years 8 days ago
2006
ACM
A number of previous measurement studies [10, 12, 17] have shown the existence of path exploration and slow convergence in the global Internet routing system, and a number of prot...
186
click to vote
IUI
2005
ACM
15 years 12 months ago
2005
ACM
In this paper, we present our efforts towards creating interfaces for networked media exploration and collaborative annotation. The problem is important since online social networ...
203
click to vote
FM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...