2149 search results - page 161 / 430 » Form over Substance |
187
click to vote
VR
2008
IEEE
16 years 25 days ago
2008
IEEE
We have developed techniques called Mobile Group Dynamics (MGDs), which help groups of people to work together while they travel around large-scale virtual environments. MGDs expl...
186
click to vote
ICASSP
2007
IEEE
16 years 23 days ago
2007
IEEE
We propose an iterative probabilistic algorithm for estimation of RNA secondary structure using sequence data from two homologous sequences. The method is intended to exploit inte...
159
click to vote
MICRO
2007
IEEE
16 years 22 days ago
2007
IEEE
Technology scaling, characterized by decreasing feature size, thinning gate oxide, and non-ideal voltage scaling, will become a major hindrance to microprocessor reliability in fu...
158
click to vote
ERCIMDL
2007
Springer
16 years 19 days ago
2007
Springer
We propose and evaluate a query expansion mechanism that supports searching and browsing in collections of annotated documents. Based on generative language models, our feedback me...
188
click to vote
FMCO
2007
Springer
16 years 18 days ago
2007
Springer
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...