6167 search results - page 37 / 1234 » Can Refinement be Automated |
HICSS
1998
IEEE
14 years 2 months ago
1998
IEEE
Typically, users submit very simple search queries to digital document data collections. Often these queries can result in extremely broad answers or answers in which document rel...
COMPGEOM
2006
ACM
14 years 1 months ago
2006
ACM
I present an algorithm that can provably eliminate slivers in the interior of a tetrahedral mesh, leaving only tetrahedra with dihedral angles between 30 and 135 degrees and radiu...
ASWEC
2001
IEEE
14 years 1 months ago
2001
IEEE
Animation tools haveproven to be effective asa means of visualising formal specijcations. Specijcations that might otherwise be impenetrable can be communicated to a wide range of...
ESWS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Automated service composition refers to automating the entire process of composing a workflow. This involves automating the discovery and selection of the service, ensuri...
DAC
2008
ACM
14 years 11 months ago
2008
ACM
The creation of an FPGA requires extensive transistor-level design. This is necessary for both the final design, and during architecture exploration, when many different logic and...