Sciweavers

2765 search results - page 154 / 553
» Works and representation
Sort
View
TCAD
2002
121views more  TCAD 2002»
15 years 6 months ago
Robust Boolean reasoning for equivalence checking and functional property verification
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuits...
Andreas Kuehlmann, Viresh Paruthi, Florian Krohm, ...
181
Voted
CHI
2008
ACM
16 years 7 months ago
Information and communication tools as aids to collaborative sensemaking
Collaborative sensemaking occurs when multiple actors engage in understanding an unfamiliar, information-rich environment. We present preliminary results from a field study of the...
Sharoda A. Paul, Madhu C. Reddy, Christopher DeFli...
RECOMB
2002
Springer
16 years 7 months ago
A dimensionality reduction approach to modeling protein flexibility
Proteins are involved either directly or indirectly in all biological processes in living organisms. It is now widely accepted that conformational changes of proteins can critical...
Miguel L. Teodoro, George N. Phillips, Lydia E. Ka...
COMPSAC
2009
IEEE
16 years 1 months ago
A Contextual Guidance Approach to Software Security
With the ongoing trend towards the globalization of software systems and their development, components in these systems might not only work together, but may end up evolving indep...
Philipp Schügerl, David Walsh, Juergen Rillin...
SYNASC
2005
IEEE
170views Algorithms» more  SYNASC 2005»
16 years 17 days ago
Density Based Clustering with Crowding Differential Evolution
The aim of this work is to analyze the applicability of crowding differential evolution to unsupervised clustering. The basic idea of this approach, interpreting the clustering pr...
Daniela Zaharie