508 search results - page 65 / 102 » A logical account of pspace |
WILF
2009
Springer
14 years 4 days ago
2009
Springer
Digital video stabilization approaches typically degrade their performances in presence of periodic patterns. Any kind of matching between consecutive frames is not usually able to...
DEXA
2001
Springer
14 years 3 days ago
2001
Springer
In this paper we investigate various aspects of representing multidimensional information in the frame of the WWW. Multidimensional XML (MXML) is an extension of XML suitable for r...
PACT
2001
Springer
14 years 1 days ago
2001
Springer
We introduce the νSPI-calculus that strengthens the notion of “perfect symmetric cryptography” of the spi-calculus by taking time into account. This involves defining an oper...
EUROMICRO
2000
IEEE
14 years 23 hour ago
2000
IEEE
Many DSP and image processing embedded systems have hard memory constraints which makes it difficult to find a good task assignment and scheduling which fulfill these constrain...
AMAST
1997
Springer
13 years 11 months ago
1997
Springer
A symbolic semantics for Full LOTOS in terms of symbolic transition systems is de ned, following the approach taken for message passing CCS in HL95a], altered to take account of th...