Sciweavers

10271 search results - page 448 / 2055
» Computer Science
Sort
View
152
Voted
FOCS
1998
IEEE
15 years 9 months ago
A Linguistic Characterization of Bounded Oracle Computation and Probabilistic Polynomial Time
We present a higher-order functional notation for polynomial-time computation with arbitrary 0; 1-valued oracle. This provides a linguistic characterization for classes such as np...
John C. Mitchell, Mark Mitchell, Andre Scedrov
122
Voted
ITICSE
2006
ACM
15 years 11 months ago
Encouraging the development of undergraduate researchers in computer vision
In a small computer science department without a graduate program, it is sometimes difficult to attract research students. This is particularly true for research in computer visio...
Clark F. Olson
GI
2007
Springer
15 years 9 months ago
What is Ubiquitous about Ubiquitous Computing? - Space, Technology, Surveillance, and Behaviour
: Discussing ubiquitous computing, the role of space is not quite clear. To get an understanding of the thinking on space, the main concepts of absolute, relational, and social spa...
Martin Klamt
131
Voted
CSE
2009
IEEE
15 years 8 months ago
Extended Dempster-Shafer Theory in Context Reasoning for Ubiquitous Computing Environments
—Context, the pieces of information that capture the characteristics of ubiquitous computing environment, is often imprecise and incomplete due to user mobility, unreliable wirel...
Daqiang Zhang, Jiannong Cao, Jingyu Zhou, Minyi Gu...
IMSCCS
2007
IEEE
15 years 11 months ago
Ensemble Subsurface Modeling Using Grid Computing Technology
Ensemble Kalman Filter (EnKF) uses a randomized ensemble of subsurface models for error and uncertainty estimation. However, the complexity of geological models and the requiremen...
Xin Li, Zhou Lei, Christopher D. White, Gabrielle ...