1709 search results - page 175 / 342 » Precise Modeling of Design Patterns |
114
click to vote
AOSE
2005
Springer
15 years 8 months ago
2005
Springer
Autonomy has always been conceived as one of the defining attributes of intelligent agents. While the past years have seen considerable progress regarding theoretical aspects of a...
257
Voted
Book
"Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is a statically typed language, with an extensible type...
155
click to vote
ICCV
2007
IEEE
15 years 8 months ago
2007
IEEE
We present the architecture and algorithm design of a visual motion based perceptual interface for mobile devices with cameras. In addition to motion vector, we use the term “vis...
124
click to vote
MICRO
1993
IEEE
15 years 6 months ago
1993
IEEE
The conventional classification of inter-instruction dependencies (data, anti and output dependencies) provides a basic scheme for the analysis of pipeline hazards in pipelined in...
113
click to vote
PEPM
2010
ACM
15 years 11 months ago
2010
ACM
Pushdown systems are well understood as abstract models of programs with (recursive) procedures. Reps et al. recently extended pushdown systems into weighted pushdown systems, whi...