5451 search results - page 959 / 1091 » Typed Operational Semantics |
117
Voted
TIP
2008
15 years 3 months ago
2008
We introduce a nonlocal discrete regularization framework on weighted graphs of the arbitrary topologies for image and manifold processing. The approach considers the problem as a...
137
Voted
JALC
2007
15 years 3 months ago
2007
The basic finite automata model has been extended over the years with different acceptance modes (nondeterminism, alternation), new or improved devices (two-way heads, pebbles, ...
111
click to vote
CAD
2005
Springer
15 years 3 months ago
2005
Springer
Feature modeling systems usually employ a boundary representation (b-rep) to store the shape information on a product. It has, however, been shown that a b-rep has a number of sho...
156
Voted
TODAES
2008
15 years 3 months ago
2008
The extremely high cost of custom ASIC fabrication makes FPGAs an attractive alternative for deployment of custom hardware. Embedded systems based on reconfigurable hardware integ...
104
Voted
TROB
2008
15 years 3 months ago
2008
The ability to learn a map of the environment is important for numerous types of robotic vehicles. In this paper, we address the problem of learning a visual map of the ground usin...