2702 search results - page 362 / 541 » Practically Applicable Formal Methods |
124
click to vote
CAV
2006
Springer
15 years 6 months ago
2006
Springer
This paper addresses the problem of computing symbolically the set of reachable configurations of a linear hybrid automaton. A solution proposed in earlier work consists in explori...
128
click to vote
ICPR
2010
IEEE
15 years 6 months ago
2010
IEEE
The ability to carry out biometric authentication using generic cameras can be extremely useful for a variety of applications, especially in mobile devices. Palmprint based authen...
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
This paper describes the conceptual and algorithmic evolutions of Memory Based Parametric Equalization (MPEQ) needed to exploit the potentialities of the method within the state-o...
218
click to vote
CHI
2011
ACM
14 years 6 months ago
2011
ACM
The field of HCI is growing, not only in the variety of application areas or the volume of research conducted, but also in the number of analytical approaches for use in the evalu...
141
Voted
TOG
2012
13 years 4 months ago
2012
We present a theoretical framework and practical method for the automatic construction of simple, all-quadrilateral patch layouts on manifold surfaces. The resulting layouts are c...