9521 search results - page 124 / 1905 » Compiling with continuations, continued |
120
Voted
MEMETIC
2010
14 years 5 months ago
2010
In combinatorial solution spaces Iterated Local Search (ILS) turns out to be exceptionally successful. The question arises: is ILS also capable of improving the optimization proces...
81
Voted
SIAMADS
2010
14 years 4 months ago
2010
Lubrication equations describe many structuring processes of thin liquid films. We develop and apply a numerical framework suitable for their analysis employing a dynamical systems...
95
Voted
TII
2010
14 years 4 months ago
2010
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...
80
Voted
CHI
2011
ACM
14 years 1 months ago
2011
ACM
We present Pinstripe, a textile user interface element for eyes-free, continuous value input on smart garments that uses pinching and rolling a piece of cloth between your finger...
126
click to vote
DASFAA
2011
IEEE
14 years 5 days ago
2011
IEEE
Continuous monitoring of spatial queries has gained significant research attention in the past few years. Although numerous algorithms have been proposed to solve specific queries...