Sciweavers

1675 search results - page 203 / 335
» Interactive streaming of structured data
Sort
View
SAS
2007
Springer
15 years 4 months ago
Modular Safety Checking for Fine-Grained Concurrency
Concurrent programs are difficult to verify because the proof must consider the interactions between the threads. Fine-grained concurrency and heap allocated data structures exacer...
Cristiano Calcagno, Matthew J. Parkinson, Viktor V...
NIPS
1994
14 years 11 months ago
Factorial Learning and the EM Algorithm
Many real world learning problems are best characterized by an interaction of multiple independent causes or factors. Discovering such causal structure from the data is the focus ...
Zoubin Ghahramani
CHI
2005
ACM
14 years 12 months ago
Why use memo for all?: restructuring mobile applications to support informal note taking
Informal note taking is an essential activity in Personal Information Management (PIM). Most mobile devices support this via a suite of applications, employing both highly structu...
Liwei Dai, Wayne G. Lutters, Carlie Bower
VIS
2007
IEEE
144views Visualization» more  VIS 2007»
15 years 11 months ago
Enhancing Depth-Perception with Flexible Volumetric Halos
Volumetric data commonly has high depth complexity which makes it difficult to judge spatial relationships accurately. There are many different ways to enhance depth perception, su...
Stefan Bruckner, M. Eduard Gröller
CHI
2010
ACM
15 years 4 months ago
Real time search user behavior
Real time search is an increasingly important area of information seeking on the Web. In this research, we analyze 1,005,296 user interactions with a real time search engine over ...
Bernard J. Jansen, Gerry Campbell, Matthew Gregg