Sciweavers

13791 search results - page 2674 / 2759
» Modeling Web Interactions
Sort
View
COCOON
2007
Springer
14 years 2 months ago
Connected Coloring Completion for General Graphs: Algorithms and Complexity
An r-component connected coloring of a graph is a coloring of the vertices so that each color class induces a subgraph having at most r connected components. The concept has been w...
Benny Chor, Michael R. Fellows, Mark A. Ragan, Igo...
ER
2007
Springer
137views Database» more  ER 2007»
14 years 2 months ago
Prioritized Preferences and Choice Constraints
It is increasingly recognised that user preferences should be addressed in many advanced database applications, such as adaptive searching in databases. However, the fundamental is...
Wilfred Ng
ICCS
2007
Springer
14 years 1 months ago
High Quality Surface Mesh Generation for Multi-physics Bio-medical Simulations
Abstract. Manual surface reconstruction is still an everyday practice in applications involving complex irregular domains necessary for modeling biological systems. Rapid developme...
Dominik Szczerba, Robert H. P. McGregor, Gá...
PPDP
2007
Springer
14 years 1 months ago
Mechanized metatheory model-checking
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
James Cheney, Alberto Momigliano
GMP
2006
IEEE
127views Solid Modeling» more  GMP 2006»
14 years 1 months ago
Finding All Undercut-Free Parting Directions for Extrusions
For molding and casting processes, geometries that have undercut-free parting directions (UFPDs) are preferred for manufacturing. Identifying all UFPDs for arbitrary geometries at ...
Xiaorui Chen, Sara McMains
« Prev « First page 2674 / 2759 Last » Next »