Sciweavers

631 search results - page 60 / 127
» Strong Authentication and Strong Integrity (SASI) Is Not Tha...
Sort
View
CSMR
2002
IEEE
15 years 11 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
VISUALIZATION
2002
IEEE
15 years 11 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 10 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 10 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 10 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....