Sciweavers

6829 search results - page 1110 / 1366
» Quantitative Generalizations of Languages
Sort
View
OOPSLA
2001
Springer
15 years 9 months ago
Jiazzi: New-Age Components for Old-Fashioned Java
We present Jiazzi, a system that enables the construction of largescale binary components in Java. Jiazzi components can be thought of as generalizations of Java packages with add...
Sean McDirmid, Matthew Flatt, Wilson C. Hsieh
PCM
2001
Springer
150views Multimedia» more  PCM 2001»
15 years 9 months ago
Unsupervised Analysis of Human Gestures
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...
Tianshu Wang, Heung-Yeung Shum, Ying-Qing Xu, Nann...
HICSS
2000
IEEE
153views Biometrics» more  HICSS 2000»
15 years 8 months ago
On Verifying Distributed Multithreaded Java Programs
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
Jessica Chen
ISMVL
2000
IEEE
134views Hardware» more  ISMVL 2000»
15 years 8 months ago
The 2-SAT Problem of Regular Signed CNF Formulas
Signed conjunctive normal form (signed CNF) is a classical conjunctive clause form using a generalized notion of literal, called signed atom. A signed atom is an expression of the...
Bernhard Beckert, Reiner Hähnle, Felip Many&a...
142
Voted
VRST
2000
ACM
15 years 8 months ago
Animated deformations with radial basis functions
We present a novel approach to creating deformations of polygonal models using Radial Basis Functions (RBFs) to produce localized real-time deformations. Radial Basis Functions as...
Jun-yong Noh, Douglas Fidaleo, Ulrich Neumann
« Prev « First page 1110 / 1366 Last » Next »