2409 search results - page 193 / 482 » On Extended Regular Expressions |
172
click to vote
CRYPTO
2007
Springer
16 years 1 months ago
2007
Springer
This work describes a mode of operation, TET, that turns a regular block cipher into a length-preserving enciphering scheme for messages of (almost) arbitrary length. When using a...
178
click to vote
IROS
2006
IEEE
16 years 25 days ago
2006
IEEE
— An algorithm for pose and motion estimation using corresponding features in omnidirectional images and a digital terrain map is proposed. In previous paper, such algorithm for ...
182
click to vote
SOFTVIS
2005
ACM
16 years 11 days ago
2005
ACM
Software archives contain historical information about the development process of a software system. Using data mining techniques rules can be extracted from these archives. In th...
144
click to vote
ICALP
2005
Springer
16 years 10 days ago
2005
Springer
We investigate the decidability of observational equivalence and approximation in “Syntactic Control of Interference” (SCI). By asg denotations of terms in an inequationally fu...
167
click to vote
FORMATS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We extend Angluin’s algorithm for on-line learning of regular languages to the setting of timed systems. We consider systems that can be described by a class of determi...