Sciweavers

2343 search results - page 61 / 469
» Structure and Interpretation of Computer Programs
Sort
View
136
Voted
SIGCSE
2009
ACM
137views Education» more  SIGCSE 2009»
16 years 3 months ago
The hidden injuries of overloading 'ADT'
commonly stated definition of abstract data type (ADT) is that it is a domain of values and the operations over that domain. So, for example, a language's built-in types, lik...
Duane Buck, David J. Stucki
130
Voted
EMMCVPR
2005
Springer
15 years 8 months ago
Probabilistic Subgraph Matching Based on Convex Relaxation
We present a novel approach to the matching of subgraphs for object recognition in computer vision. Feature similarities between object model and scene graph are complemented with ...
Christian Schellewald, Christoph Schnörr
149
Voted
ICPADS
1996
IEEE
15 years 6 months ago
Implementation of MAP: A system for mobile assistant programming
We have de ne a network programming model called Mobile Assistant Programming (MAP) for development and execution of communication applications in large scale networks of heteroge...
Stéphane Perret, Andrzej Duda
122
Voted
AI
2004
Springer
15 years 2 months ago
Order-sorted logic programming with predicate hierarchy
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
Ken Kaneiwa
CMMR
2004
Springer
124views Music» more  CMMR 2004»
15 years 8 months ago
Collaborative Computer-Aided Parameter Exploration for Music and Animation
Although many artists have worked to create associations between music and animation, this has traditionally be done by developing one to suit the pre-existing other, as in visuali...
Daryl H. Hepting, David Gerhard