6167 search results - page 37 / 1234 » Can Refinement be Automated |
78
Voted
HICSS
1998
IEEE
15 years 5 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...
107
Voted
COMPGEOM
2006
ACM
15 years 4 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...
100
Voted
ASWEC
2001
IEEE
15 years 4 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...
123
Voted
ESWS
2004
Springer
15 years 4 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...
64
Voted
DAC
2008
ACM
16 years 1 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...