Sciweavers

14298 search results - page 2632 / 2860
» Dynamic Languages and Applications
Sort
View
SMA
2010
ACM
181views Solid Modeling» more  SMA 2010»
15 years 6 months ago
Merging and smoothing machining boundaries on cutter location surfaces
In region machining, neighbouring regions may be close together, but disconnected. Boundary curves may also have unwanted geometric artifacts caused by approximation and discretis...
Weishi Li, Ralph R. Martin, Frank C. Langbein
ICASSP
2010
IEEE
15 years 6 months ago
Comparing the contributions of context and prosody in text-independent dialog act recognition
Automatic segmentation and classification of dialog acts (DAs; e.g., statements versus questions) is important for spoken language understanding (SLU). While most systems have re...
Kornel Laskowski, Elizabeth Shriberg
ACTA
2010
87views more  ACTA 2010»
15 years 6 months ago
On the observational theory of the CPS-calculus
We study the observational theory of Thielecke's CPS-calculus, a distillation of the target language of Continuation-Passing Style transforms. We define a labelled transition...
Massimo Merro
CGA
2008
15 years 6 months ago
Virtual Classroom Extension for Effective Distance Education
We present the design, implementation, and initial results of a system for remote lecture attendance based on extending on-campus classrooms to accommodate remotely located studen...
Radu Dondera, Chun Jia, Voicu Popescu, Cristina Ni...
CORR
2010
Springer
66views Education» more  CORR 2010»
15 years 6 months ago
Certifying cost annotations in compilers
We discuss the problem of building a compiler which can lift in a provably correct way pieces of information on the execution cost of the object code to cost annotations on the so...
Roberto M. Amadio, Nicholas Ayache, Yann Ré...
« Prev « First page 2632 / 2860 Last » Next »