Sciweavers

1463 search results - page 16 / 293
» The State of the Art in Language Modeling
Sort
View
DLT
2006
15 years 2 months ago
Can Abstract State Machines Be Useful in Language Theory?
ract State Machines Be Useful in Language Theory? Yuri Gurevich a Margus Veanes a Charles Wallace b aMicrosoft Research, Redmond, Washington, USA bMichigan Tech, Houghton, Michigan...
Yuri Gurevich, Charles Wallace
VISUALIZATION
2002
IEEE
15 years 6 months ago
A Model for the Visualization Exploration Process
The current state of the art in visualization research places a strong emphasis on different techniques to derive insight from disparate types of data. However, little work has in...
T. J. Jankun-Kelly, Kwan-Liu Ma, Michael Gertz
CG
1998
Springer
15 years 1 months ago
Rendering of multiresolution models with texture
State of the art multiresolution modeling allows to selectively refine a coarse mesh of an object on the visually important parts. In this way it is possible to render the geomet...
Andreas Schilling, Reinhard Klein
FLOPS
2006
Springer
15 years 5 months ago
Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages
Functional reactive programming integrates dynamic dataflow with functional programming to offer an elegant and powerful model for expressing computations over time-varying values....
Daniel Ignatoff, Gregory H. Cooper, Shriram Krishn...
59
Voted
IANDC
2006
52views more  IANDC 2006»
15 years 1 months ago
Incompleteness of states w.r.t. traces in model checking
Cousot and Cousot introduced and studied a general past/future-time specification language, called
Roberto Giacobazzi, Francesco Ranzato