Sciweavers

9521 search results - page 347 / 1905
» Compiling with continuations, continued
Sort
View
WSC
2008
15 years 6 months ago
Discrete Rate Simulation using linear programming
Discrete Rate Simulation (DRS) is a modeling methodology that uses event based logic to simulate linear continuous processes and hybrid systems. These systems are concerned with t...
Cecile Damiron, Anthony Nastasi
AUTONOMICS
2008
ACM
15 years 6 months ago
On modeling of self-organizing systems
A goal of computing and networking systems is to limit administrative requirements for users and operators. A technical systems should be able to configure itself as much as possi...
Richard Holzer, Hermann de Meer
BIRTHDAY
2008
Springer
15 years 6 months ago
On Natural Non-dcpo Domains
As Dag Normann has recently shown, the fully abstract model for PCF of hereditarily sequential functionals is not -complete and therefore not continuous in the traditional terminol...
Vladimir Sazonov
117
Voted
DAGSTUHL
2007
15 years 5 months ago
Aging Users are Still Users
Today’s tech-savvy boomers will remain comfortable with technology as they age, though they may need different interfaces. They need help with evaluating technical resources, but...
Mary Shaw
128
Voted
LREC
2010
191views Education» more  LREC 2010»
15 years 5 months ago
The SignSpeak Project - Bridging the Gap Between Signers and Speakers
The SignSpeak project will be the first step to approach sign language recognition and translation at a scientific level already reached in similar research fields such as automat...
Philippe Dreuw, Hermann Ney, Gregorio Martinez, On...