Sciweavers

4354 search results - page 770 / 871
» Matching Objects with Patterns
Sort
View
119
Voted
ICML
2009
IEEE
15 years 6 months ago
Independent factor topic models
Topic models such as Latent Dirichlet Allocation (LDA) and Correlated Topic Model (CTM) have recently emerged as powerful statistical tools for text document modeling. In this pap...
Duangmanee Putthividhya, Hagai Thomas Attias, Srik...
ESOP
2009
Springer
15 years 6 months ago
A Basis for Verifying Multi-threaded Programs
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...
K. Rustan M. Leino, Peter Müller
EMS
2009
IEEE
15 years 6 months ago
Simulation of a Smart Grid City with Software Agents
—In the future smart city, new information and communication technologies will enable a better management of the available resources. The future smart grid infrastructure is emer...
Stamatis Karnouskos, Thiago Nass de Holanda
VR
2009
IEEE
130views Virtual Reality» more  VR 2009»
15 years 6 months ago
Spatialized Haptic Rendering: Providing Impact Position Information in 6DOF Haptic Simulations Using Vibrations
In this paper we introduce a “Spatialized Haptic Rendering” technique to enhance 6DOF haptic manipulation of virtual objects with impact position information using vibrations....
Jean Sreng, Anatole Lécuyer, Claude Andriot...
ICSM
2009
IEEE
15 years 6 months ago
Understanding source package organization using the hybrid model
Within a large, object-oriented software system it is common to partition the classes into a set of packages, which implicitly serve as a set of coarsely-grained logical design un...
Xinyi Dong, Michael W. Godfrey