4460 search results - page 691 / 892 » Formal methods for interactive systems |
179
click to vote
TEC
2002
15 years 4 months ago
2002
Abstract--The particle swarm is an algorithm for finding optimal regions of complex search spaces through the interaction of individuals in a population of particles. Even though t...
125
click to vote
CHI
2010
ACM
15 years 3 months ago
2010
ACM
With healthcare moving towards electronic health records, it is important to understand existing work practices to design effective systems. We conducted an observational study in...
136
click to vote
TVCG
2010
15 years 2 months ago
2010
—This paper presents the first practical method for “origamizing” or obtaining the folding pattern that folds a single sheet of material into a given polyhedral surface with...
147
click to vote
IUI
2012
ACM
14 years 2 days ago
2012
ACM
The next big step in embedded, mobile speech recognition will be to allow completely free input as it is needed for messaging like SMS or email. However, unconstrained dictation r...
131
click to vote
ICCAD
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper presents a method for correct-by-construction microarchitectural pipelining that handles cyclic systems with dependencies between iterations. Our method combines pre...