Sciweavers

3521 search results - page 639 / 705
» Algorithmic Control in Concurrent Computations
Sort
View
GRAPHICSINTERFACE
2003
14 years 16 days ago
A Gestural Interface to Free-Form Deformation
We present a gesture-based user interface to Free-Form Deformation (FFD). Traditional interfaces for FFD require the manipulation of individual points in a lattice of control vert...
Geoffrey Draper, Parris K. Egbert
ACL
1997
14 years 15 days ago
A Word-to-Word Model of Translational Equivalence
Many multilingual NLP applications need to translate words between different languages, but cannot afford the computational expense of inducing or applying a full translation mode...
I. Dan Melamed
DIMACS
1996
14 years 14 days ago
Model Checking and the Mu-calculus
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
E. Allen Emerson
LFP
1992
153views more  LFP 1992»
14 years 9 days ago
Reasoning About Programs in Continuation-Passing Style
The CPS transformation dates back to the early 1970's, where it arose as a technique to represent the control flow of programs in -calculus based programming languages as -te...
Amr Sabry, Matthias Felleisen
GECON
2008
Springer
152views Business» more  GECON 2008»
14 years 6 days ago
The Power of Preemption in Economic Online Markets
Abstract. In distributed computer networks where resources are under decentralized control, selfish users will generally not work towards one common goal, such as maximizing the o...
Lior Amar, Ahuva Mu'alem, Jochen Stößer