179 search results - page 9 / 36 » Continuous lunches are free! |
STACS
2001
Springer
13 years 12 months ago
2001
Springer
We propose a new, logical, approach to the decidability problem for the Straubing and Brzozowski hierarchies based on the preservation theorems from model theory, on a theorem of ...
BILDMED
2007
13 years 8 months ago
2007
One important application of image processing in medicine is to register tissue samples onto another. Registering these highly textured images with non-parametric methods sometimes...
ISDA
2009
IEEE
14 years 2 months ago
2009
IEEE
—The present work is focused on the improvement of a Sensing Seat system previously developed by the authors for the initial authentication purpose in office and car scenarios. ...
SRDS
2003
IEEE
14 years 20 days ago
2003
IEEE
We propose service continuations (SC), an OS mechanism that supports seamless dynamic migration of Internet service sessions between cooperating multi-process servers. Service con...
LFP
1992
13 years 8 months ago
1992
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...