Sciweavers

2409 search results - page 103 / 482
» On Extended Regular Expressions
Sort
View
IANDC
2006
95views more  IANDC 2006»
15 years 4 months ago
The alternation hierarchy in fixpoint logic with chop is strict too
Fixpoint Logic with Chop extends the modal
Martin Lange
CUZA
2010
150views Cryptology» more  CUZA 2010»
15 years 1 months ago
Symbolic Synthesis of Mealy Machines from Arithmetic Bitstream Functions
In this paper, we describe a symbolic synthesis method which given an algebraic expression that specifies a bitstream function f, constructs a (minimal) Mealy machine that realise...
Helle Hvid Hansen, Jan J. M. M. Rutten
DALT
2004
Springer
15 years 9 months ago
Intensional Programming for Agent Communication
This article investigates the intensional programming paradigm for agent communication by introducing context as a first class object in the intensional programming language Lucid...
Vasu S. Alagar, Joey Paquet, Kaiyu Wan
CA
2003
IEEE
15 years 9 months ago
Improvements on a Simple Muscle-Based 3D Face for Realistic Facial Expressions
Facial expressions play an important role in face-to-face communication. With the development of personal computers capable of rendering high quality graphics, computer facial ani...
The Duy Bui, Dirk Heylen, Anton Nijholt
IS
2006
15 years 4 months ago
Incremental maintenance of aggregate and outerjoin expressions
Views stored in a data warehouse need to be kept current. As recomputing the views is very expensive, incremental maintenance algorithms are required. Over recent years, several i...
Himanshu Gupta, Inderpal Singh Mumick