5451 search results - page 148 / 1091 » Typed Operational Semantics |
167
Voted
IWFM
2003
15 years 5 months ago
2003
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
117
Voted
SMI
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper, we present a set of generalized “local” mesh operators. Local operators are those that operate on a single face without affecting the rest of the mesh. Boundary...
113
Voted
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
In a series of papers [3-8], Daida et. al. highlighted the difficulties posed to Genetic Programming (GP) by the complexity of the structural search space, and attributed the probl...
150
Voted
CAGD
2011
14 years 7 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...
151
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Finite trace semantics is known and well understood for classical automata and non-deterministic labelled transition systems. Jacobs et al introduced a more general definition fo...