4353 search results - page 222 / 871 » Expressiveness of Process Algebras |
143
click to vote
EUSFLAT
2003
15 years 7 months ago
2003
This paper regards the recurrent linguistic rule bases. These systems are considered as relational models with several relations. Such representation allows to use relation algebr...
162
click to vote
FUIN
2007
15 years 6 months ago
2007
A formal model for description of passive and active timing attacks is presented, studied and compared with other security concepts. It is based on a timed process algebra and on a...
198
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
On an abstract level, XML Schema increases the limited expressive power of Document Type Definitions (DTDs) by extending them with a recursive typing mechanism. However, an invest...
155
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
Thanks to recent scientific advances, it is now possible to design multimodal interfaces allowing the use of speech and pointing out gestures on a touchscreen. However, present sp...
192
click to vote
SIGGRAPH
1998
ACM
15 years 10 months ago
1998
ACM
We present new techniques for creating photorealistic textured 3D facial models from photographs of a human subject, and for creating smooth transitions between different facial e...