4666 search results - page 348 / 934 » Equations on Timed Languages |
190
Voted
IJCAI
1989
15 years 8 months ago
1989
A constraint satisfaction problem, or CSP, can be reformulated as an integer linear programming problem. The reformulated problem can be solved via polynomial multiplication. If t...
194
click to vote
HAPTICS
2008
IEEE
15 years 7 months ago
2008
IEEE
In our previous study, a method that allows dynamic interaction with an elastic object, which is called impulse response deformation model, has been proposed. An advantage of the m...
157
click to vote
APPML
2010
15 years 7 months ago
2010
We present a general class of cell population models that can be used to track the proliferation of cells which have been labeled with a fluorescent dye. The mathematical models e...
203
click to vote
ENTCS
2006
15 years 6 months ago
2006
We demonstrate a novel simulation technique for analysing large stochastic process algebra models, applying this to a secure electronic voting system example. By approximating the...
151
click to vote
ENTCS
2006
15 years 6 months ago
2006
In addition to efficient code generation, causality cycles and schizophrenic statements are major problems for the compilation of synchronous programs. Although these problems are ...