Sciweavers

27274 search results - page 5397 / 5455
» A framework for framework documentation
Sort
View
154
Voted
ICCAD
2009
IEEE
147views Hardware» more  ICCAD 2009»
15 years 9 days ago
SAT-based protein design
Computational protein design can be formulated as an optimization problem, where the objective is to identify the sequence of amino acids that minimizes the energy of a given prot...
Noah Ollikainen, Ellen Sentovich, Carlos Coelho, A...
147
Voted
ICCBR
2009
Springer
15 years 9 days ago
Constraint-Based Case-Based Planning Using Weighted MAX-SAT
Previous approaches to case-based planning often finds a similar plan case to a new planning problem to adapt to solve the new problem. However, in the case base, there may be some...
Hankui Zhuo, Qiang Yang, Lei Li
176
Voted
ICDE
2009
IEEE
157views Database» more  ICDE 2009»
15 years 9 days ago
Query Rewrites with Views for XML in DB2
There is much effort to develop comprehensive support for the storage and querying of XML data in database management systems. The major developers have extended their systems to h...
Parke Godfrey, Jarek Gryz, Andrzej Hoppe, Wenbin M...
129
Voted
ICFEM
2009
Springer
15 years 9 days ago
Graded-CTL: Satisfiability and Symbolic Model Checking
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
Alessandro Ferrante, Margherita Napoli, Mimmo Pare...
140
Voted
ICMCS
2009
IEEE
199views Multimedia» more  ICMCS 2009»
15 years 9 days ago
Association rule mining in multiple, multidimensional time series medical data
Time series pattern mining (TSPM) finds correlations or dependencies in same series or in multiple time series. When the numerous instances of multiple time series data are associ...
Gaurav N. Pradhan, B. Prabhakaran
« Prev « First page 5397 / 5455 Last » Next »