5525 search results - page 1023 / 1105 » Verification of Model Transformations |
100
Voted
AAAI
1998
15 years 2 months ago
1998
Despite much research that has been done on constraint satisfaction problems (CSP's), the framework is sometimes inflexible and the results are not very satisfactory when app...
ACL
2000
15 years 2 months ago
2000
This paper presents a corpus-based algorithm capable of inducing inflectional morphological analyses of both regular and highly irregular forms (such as broughtbring) from distrib...
98
Voted
UAI
2003
15 years 2 months ago
2003
Large astronomical databases obtained from sky surveys such as the SuperCOSMOS Sky Surveys (SSS) invariably suffer from spurious records coming from artefactual effects of the t...
103
Voted
VISSYM
2003
15 years 2 months ago
2003
We show how to extract a contour line (or isosurface) from quadratic elements—specifically from quadratic triangles and tetrahedra. We also devise how to transform the resultin...
103
Voted
DAGSTUHL
1997
15 years 2 months ago
1997
In this paper we describe a simple and efficient ray casting engine that is suitable for the rapid exploration of irregular grids composed of tetrahedra cells, or other cell comp...