Sciweavers

4008 search results - page 233 / 802
» An expressive language of signatures
Sort
View
EMSOFT
2004
Springer
15 years 10 months ago
A methodology for generating verified combinatorial circuits
High-level programming languages offer significant expressivity but provide little or no guarantees about resource use. Resourcebounded languages -- such as hardware-description l...
Oleg Kiselyov, Kedar N. Swadi, Walid Taha
COLING
2000
15 years 8 months ago
Deixis and Conjunction in Multimodal Systems
In order to realize their full potential, multimodal interfaces need to support not just input from multiple modes, but single commands optimally distributed across the available ...
Michael Johnston
UAIS
2008
185views more  UAIS 2008»
15 years 6 months ago
Facial movement analysis in ASL
In the age of speech and voice recognition technologies, sign language recognition is an essential part of ensuring equal access for deaf people. To date, sign language recognition...
Christian Vogler, Siome Goldenstein
WWW
2011
ACM
15 years 1 months ago
A better uncle for OWL: nominal schemas for integrating rules and ontologies
We propose a description-logic style extension of OWL 2 with nominal schemas which can be used like“variable nominal classes”within axioms. This feature allows ontology langua...
Markus Krötzsch, Frederick Maier, Adila Krisn...
ICDE
2004
IEEE
89views Database» more  ICDE 2004»
16 years 8 months ago
Nested Queries and Quantifiers in an Ordered Context
We present algebraic equivalences that allow to unnest nested algebraic expressions for order-preserving algebraic operators. We illustrate how these equivalences can be applied s...
Norman May, Sven Helmer, Guido Moerkotte