3319 search results - page 219 / 664 » Type Theoretical Databases |
102
click to vote
DAM
2011
14 years 5 months ago
2011
Many graph search algorithms use a labeling of the vertices to compute an ordering of the vertices. We generalize this idea by devising a general vertex labeling algorithmic proce...
105
Voted
CAGD
2011
14 years 2 months ago
2011
This work concerns the approximation of the shape operator of smooth surfaces in R3 from polyhedral surfaces. We introduce two generalized shape operators that are vector-valued l...
97
Voted
COMPSAC
2008
IEEE
15 years 5 months ago
2008
IEEE
In this paper, we describe a framework for the computeraided evolution of the designs of object-oriented software systems. Evolution mechanisms are software structures that prepar...
78
Voted
BTW
2007
Springer
15 years 5 months ago
2007
Springer
: The MISTRAL system, a service oriented architecture for semantic extraction of multimedia data from meeting recordings is described shortly. It improves on other similar systems ...
88
Voted
ICFP
2004
ACM
15 years 11 months ago
2004
ACM
Abadi et al. introduced the dependency core calculus (DCC) as a unifying framework to study many important program analyses such as binding time, information flow, slicing, and fu...