2314 search results - page 344 / 463 » Monoids over domains |
117
Voted
ECCV
2010
Springer
15 years 1 months ago
2010
Springer
Many successful feature detectors and descriptors exist for 2D intensity images. However, obtaining the same effectiveness in the domain of 3D objects has proven to be a more elusi...
117
click to vote
AI
2008
Springer
15 years 1 months ago
2008
Springer
The current best conformant probabilistic planners encode the problem as a bounded length CSP or SAT problem. While these approaches can find optimal solutions for given plan leng...
111
click to vote
ASE
2008
15 years 1 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
110
click to vote
CGF
2010
15 years 1 months ago
2010
We present an interactive illustrative visualization method inspired by traditional pen-and-ink illustration styles. Specifically, we explore how to provide context around DTI fib...
141
click to vote
CL
2010
Springer
15 years 1 months ago
2010
Springer
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...