3116 search results - page 5 / 624 » Positively dependent types |
FLAIRS
2009
14 years 7 months ago
2009
CP
2008
Springer
14 years 11 months ago
2008
Springer
Constraints that are defined by tables of allowed tuples of assignments are common in constraint programming. In this paper we present an approach to reformulating table constraint...
ICIP
2010
IEEE
14 years 7 months ago
2010
IEEE
Intra prediction has been efficiently employed in block based image/video coding to remove the spatial redundancy. In this paper, we propose a position dependent linear intra pred...
ICRA
2007
IEEE
15 years 3 months ago
2007
IEEE
— This paper presents an approach for producing virtual fixture based on simulated plasticity, which can be used for assisting precise manual manipulations performed by human us...
HICSS
2005
IEEE
15 years 3 months ago
2005
IEEE
Information systems now form the backbone of nearly every government and private system. Increasingly these systems are networked together allowing for distributed operations, sha...