Sciweavers

3724 search results - page 330 / 745
» Timed regular expressions
Sort
View
APLAS
2004
ACM
16 years 27 days ago
A Functional Language for Logarithmic Space
Abstract. More than being just a tool for expressing algorithms, a welldesigned programming language allows the user to express her ideas efficiently. The design choices however e...
Peter Møller Neergaard
GG
2004
Springer
16 years 25 days ago
Extending Graph Rewriting for Refactoring
Refactorings are transformations that change the structure of a program, while preserving the behavior. The topic has attracted a lot of attention recently, since it is a promising...
Niels Van Eetvelde, Dirk Janssens
189
Voted
VLDB
2004
ACM
113views Database» more  VLDB 2004»
16 years 24 days ago
Auditing Compliance with a Hippocratic Database
We introduce an auditing framework for determining whether a database system is adhering to its data disclosure policies. Users formulate audit expressions to specify the (sensiti...
Rakesh Agrawal, Roberto J. Bayardo Jr., Christos F...
187
Voted
SIGGRAPH
2003
ACM
16 years 21 days ago
Learning controls for blend shape based realistic facial animation
Blend shape animation is the method of choice for keyframe facial animation: a set of blend shapes (key facial expressions) are used to define a linear space of facial expression...
Pushkar Joshi, Wen C. Tien, Mathieu Desbrun, Frede...
225
Voted
AOSD
2007
ACM
15 years 11 months ago
A static aspect language for checking design rules
Design rules express constraints on the behavior and structure of a program. These rules can help ensure that a program follows a set of established practices, and avoids certain ...
Clint Morgan, Kris De Volder, Eric Wohlstadter