3591 search results - page 306 / 719 » Typing linear constraints |
224
click to vote
WWW
2006
ACM
16 years 8 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
177
Voted
ICIAP
2007
ACM
16 years 7 months ago
2007
ACM
An algorithm for combining results of different clusterings is presented in this paper, the objective of which is to find groups of patterns which are common to all clusterings. T...
220
Voted
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—Relay networks have received considerable attention recently, especially when limited size and power resources impose constraints on the number of antennas within a wireless sen...
201
click to vote
HAPTICS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a method for building analytical contact models for soft fingers. Friction constraints are derived based on general expressions for non-planar contacts of ela...
146
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
—In this paper we propose the progressive clamping method to better model the kinematic anisotropy of joint limits for virtual mannequins or robots. Like recent approaches our me...