5465 search results - page 507 / 1093 » Assigning Types to Processes |
188
Voted
ICPR
2006
IEEE
16 years 8 months ago
2006
IEEE
Image registration is the process of geometrically aligning two or more images. In this paper we describe a method for registering pairs of images based on thin-plate spline mappi...
291
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
We present a new approach to integrating Constraint Processing (CP) techniques into Answer Set Programming (ASP). Based on an alternative semantic approach, we develop an algorithm...
253
click to vote
IEEEICCI
2009
IEEE
16 years 1 months ago
2009
IEEE
An interval set is an interval in the power set lattice based on a universal set and is a family of subsets of the universal set. Interval sets and interval-set algebras provide a...
191
click to vote
HASKELL
2009
ACM
16 years 1 months ago
2009
ACM
Haskell is a great language for writing and supporting embedded Domain Specific Languages (DSLs). Some form of observable sharing is often a critical capability for allowing so-c...
146
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— A new control type for stick-slip microsystems is proposed in this paper: the voltage/frequency (U/f) proportional control. It gives a best resolution relatively to the...