4211 search results - page 385 / 843 » Types as Abstract Interpretations |
200
click to vote
IJCAI
1993
15 years 8 months ago
1993
objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...
200
click to vote
JSYML
2008
15 years 6 months ago
2008
free but not Whitehead Abelian groups to construct Abstract Elementary Classes (AEC) which satisfy the amalgamation property but fail various conditions on the locality of Galois-...
142
Voted
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
Abstract. This paper presents a set of image operators for detecting regions in space-time where interesting events occur. To define such regions of interest, we compute a spatio-t...
157
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
Abstract. 3D freehand ultrasound imaging is a very attractive technique in medical examinations and intra-operative stage for its cost and field of view capacities. This technique ...
178
click to vote
MMM
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Understanding player distributions, sessions, and movements in a Massively Multiplayer Online Role-Playing Game (MMORPG) is essential for research in scalable architectur...