Sciweavers

631 search results - page 60 / 127
» Strong Authentication and Strong Integrity (SASI) Is Not Tha...
Sort
View
CSMR
2002
IEEE
15 years 6 months ago
The Reengineering Wiki
The reverse and reengineering research communities have a strong tradition of collecting, organizing, and unifying research results. Typical examples include an explicit taxonomy,...
Arie van Deursen, Eelco Visser
89
Voted
VISUALIZATION
2002
IEEE
15 years 6 months ago
Visualizing Dynamic Molecular Conformations
The bioactivity of a molecule strongly depends on its metastable conformational shapes and the transitions between these. Therefore, conformation analysis and visualization is a b...
Johannes Schmidt-Ehrenberg, Daniel Baum, Hans-Chri...
CIKM
2001
Springer
15 years 6 months ago
Automatic Recognition of Distinguishing Negative Indirect History Language in Judicial Opinions
We describe a model-based filtering application that generates candidate case-to-case distinguishing citations. We developed the system to aid editors in identifying indirect rela...
Jack G. Conrad, Daniel P. Dabney
ICLP
2001
Springer
15 years 6 months ago
An Order-Sorted Resolution with Implicitly Negative Sorts
We usually use natural language vocabulary for sort names in order-sorted logics, and some sort names may contradict other sort names in the sort-hierarchy. These implicit negation...
Ken Kaneiwa, Satoshi Tojo
ISLPED
2000
ACM
68views Hardware» more  ISLPED 2000»
15 years 6 months ago
Noise-aware power optimization for on-chip interconnect
Realization of high-performance domino logic depends strongly on energy-efficient and noise-tolerant interconnect design in ultra deep sub-micron processes. We characterize the c...
Ki-Wook Kim, Seong-Ook Jung, Unni Narayanan, C. L....