Sciweavers

207 search results - page 18 / 42
» Experiments with Implementations of Two Theoretical Construc...
Sort
View
CSE
2009
IEEE
15 years 4 months ago
Social Tagging in Query Expansion: A New Way for Personalized Web Search
Social networks and collaborative tagging systems are rapidly gaining popularity as primary means for sorting and sharing data: users tag their bookmarks in order to simplify infor...
Claudio Biancalana, Alessandro Micarelli
144
Voted
GI
2004
Springer
15 years 5 months ago
Realtime Ray Tracing for Current and Future Games
: Recently, realtime ray tracing has been developed to the point where it is becoming a possible alternative to the current rasterization approach for interactive 3D graphics. With...
Jörg Schmittler, Daniel Pohl, Tim Dahmen, Chr...
173
Voted
RTA
2011
Springer
14 years 3 months ago
Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting
In [5, 15] we presented an approach to prove termination of non-recursive Java Bytecode (JBC) programs automatically. Here, JBC programs are first transformed to finite terminat...
Marc Brockschmidt, Carsten Otto, Jürgen Giesl
IAAI
2001
15 years 1 months ago
Interchanging Agents and Humans in Military Simulation
The innovative reapplication of a multi-agent system for human-in-the-loop (HIL) simulation was a consequence of appropriate agent oriented design. The use of intelligent agents f...
Clinton Heinze, Simon Goss, Torgny Josefsson, Kerr...
110
Voted
NIPS
2007
15 years 1 months ago
Distributed Inference for Latent Dirichlet Allocation
We investigate the problem of learning a widely-used latent-variable model – the Latent Dirichlet Allocation (LDA) or “topic” model – using distributed computation, where ...
David Newman, Arthur Asuncion, Padhraic Smyth, Max...