Sciweavers

821 search results - page 91 / 165
» What is an object
Sort
View
MKM
2005
Springer
15 years 10 months ago
An Exploration in the Space of Mathematical Knowledge
Abstract. Although knowledge is a central topic for MKM there is little explicit discussion on what ‘knowledge’ might actually be. There are specific intuitions about form and...
Andrea Kohlhase, Michael Kohlhase
SAC
2004
ACM
15 years 10 months ago
Combining analysis and synthesis in a model of a biological cell
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...
Ken Webb, Tony White
FSTTCS
2010
Springer
15 years 2 months ago
One-Counter Stochastic Games
We study the computational complexity of basic decision problems for one-counter simple stochastic games (OC-SSGs), under various objectives. OC-SSGs are 2-player turn-based stoch...
Tomás Brázdil, Václav Brozek,...
ICCV
2005
IEEE
16 years 6 months ago
Fusion of Multi-View Silhouette Cues Using a Space Occupancy Grid
In this paper, we investigate what can be inferred from several silhouette probability maps, in multi-camera environments. To this aim, we propose a new framework for multi-view s...
Jean-Sébastien Franco, Edmond Boyer
ICIP
2000
IEEE
16 years 6 months ago
Combine User Defined Region-of-Interest and Spatial Layout for Image Retrieval
Content-Based Image Retrieval (CBIR) is one of the most active research areas in recent years. Many visual feature representations have been explored and many systems built. Howev...
Qi Tian, Ying Wu, Thomas S. Huang