9443 search results - page 1846 / 1889 » Web-centric language models |
CAV
2001
Springer
14 years 6 days ago
2001
Springer
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...
SIGGRAPH
2010
ACM
14 years 6 days ago
2010
ACM
We present a method for parameterizing subdivision surfaces in an as-rigid-as-possible fashion. While much work has concentrated on parameterizing polygon meshes, little if any wo...
OOPSLA
2001
Springer
14 years 4 days ago
2001
Springer
Preventing abusive resource consumption is indispensable for all kinds of systems that execute untrusted mobile code, such as mobile object systems, extensible web servers, and we...
PCM
2001
Springer
14 years 4 days ago
2001
Springer
Recognition of human gestures is important for analysis and indexing of video. To recognize human gestures on video, generally a large number of training examples for each individu...
DATE
2000
IEEE
14 years 4 days ago
2000
IEEE
There has been a proliferation of block-diagram environments for specifying and prototyping DSP systems. These include tools from academia like Ptolemy [3], and GRAPE [7], and com...