Sciweavers

4139 search results - page 654 / 828
» Designing and Implementing Combinator Languages
Sort
View
117
Voted
JOT
2006
113views more  JOT 2006»
15 years 3 months ago
Constraint Validation in Model Compilers
Model transformation has become one of the most focused research field, motivated by for instance the OMG's Model-Driven Architecture (MDA). Metamodeling is a central techniq...
László Lengyel, Tihamer Levendovszky...
142
Voted
CGF
2005
232views more  CGF 2005»
15 years 3 months ago
Algorithms for Interactive Editing of Level Set Models
Level set models combine a low-level volumetric representation, the mathematics of deformable implicit surfaces, and powerful, robust numerical techniques to produce a novel appro...
Ken Museth, David E. Breen, Ross T. Whitaker, Sean...
139
Voted
TOCHI
1998
112views more  TOCHI 1998»
15 years 3 months ago
The Integrality of Speech in Multimodal Interfaces
A framework of complementary behavior has been proposed which maintains that direct manipulation and speech interfaces have reciprocal strengths and weaknesses. This suggests that...
Michael A. Grasso, David S. Ebert, Timothy W. Fini...
172
Voted
COCO
2011
Springer
221views Algorithms» more  COCO 2011»
14 years 3 months ago
Non-uniform ACC Circuit Lower Bounds
The class ACC consists of circuit families with constant depth over unbounded fan-in AND, OR, NOT, and MODm gates, where m > 1 is an arbitrary constant. We prove: • NTIME[2n ...
Ryan Williams
148
Voted
ACL
2012
13 years 6 months ago
Probabilistic Integration of Partial Lexical Information for Noise Robust Haptic Voice Recognition
This paper presents a probabilistic framework that combines multiple knowledge sources for Haptic Voice Recognition (HVR), a multimodal input method designed to provide efficient...
Khe Chai Sim