4850 search results - page 898 / 970 » Proof and Computation in Geometry |
176
click to vote
IANDC
2007
15 years 6 months ago
2007
We present a model, task automata, for real time systems with non-uniformly recurring computation tasks. It is an extended version of timed automata with asynchronous processes th...
181
click to vote
JCP
2007
15 years 6 months ago
2007
—The computational Grid concept is gaining great popularity as the best way to deliver access to a wide range of distributed computing and data resources. But, as Grids move from...
188
click to vote
CG
2005
Springer
15 years 6 months ago
2005
Springer
In this paper, we present a feature-based free-form shape modelling technique based on solving a fundamental problem of reconstructing the depth information from 2D sketch planes....
175
click to vote
IPL
2010
15 years 4 months ago
2010
In the Max Lin-2 problem we are given a system S of m linear equations in n variables over F2 in which Equation j is assigned a positive integral weight wj for each j. We wish to ...
169
click to vote
HCI
2009
15 years 4 months ago
2009
This paper presents a system for another input modality in a multimodal human-machine interaction scenario. In addition to other common input modalities, e.g. speech, we extract he...