2907 search results - page 328 / 582 » Presentations of Structures in Admissible Sets |
199
click to vote
SAS
2007
Springer
16 years 26 days ago
2007
Springer
We present a framework for inductive definitions in the logic of bunched implications, BI, and formulate two sequent calculus proof systems for inductive reasoning in this framewo...
187
click to vote
CVPR
2006
IEEE
16 years 25 days ago
2006
IEEE
This work investigates the use of nonlinear dependencies in natural image sequence statistics to learn higher-order structures in natural videos. We propose a two-layer model that...
181
click to vote
CIMCA
2005
IEEE
16 years 11 days ago
2005
IEEE
The aim of the research presented in this paper is to contribute to reduction of development time for ontologies by discovering reusable parts and patterns. The approach is to use...
153
click to vote
MM
2005
ACM
16 years 9 days ago
2005
ACM
In this paper, we propose a structure and components of a conversational television set(TV) to which we can ask anything on the broadcasted contents and receive the interesting in...
178
click to vote
SC
2005
ACM
16 years 9 days ago
2005
ACM
Advanced instruments in a variety of scientific domains are collecting massive amounts of data that must be postprocessed and organized to support research activities. Astronomers...