2909 search results - page 183 / 582 » Consistency of the theory of contexts |
202
click to vote
DAGM
2001
Springer
15 years 11 months ago
2001
Springer
In this work we describe a set of visual routines, which support a novel sensor free interface between a human and virtual objects. The visual routines detect, track and interpret ...
177
click to vote
ICS
2001
Tsinghua U.
15 years 11 months ago
2001
Tsinghua U.
An accurate, tractable, analytic cache model for time-shared systems is presented, which estimates the overall cache missrate of a multiprocessing system with any cache size and t...
151
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
The integration of constraint solvers into proof planning has pushed the problem solving horizon. Proof planning benefits from the general functionalities of a constraint solver s...
150
click to vote
LREC
2008
15 years 8 months ago
2008
Most of the Web-based methods for lexicon augmenting consist in capturing global semantic features of the targeted domain in order to collect relevant documents from the Web. We s...
134
click to vote
MOBIS
2008
15 years 8 months ago
2008
Abstract: The design of effective indicators and indicator systems requires a profound understanding of the relevant business context. Numerous relations and dependencies within an...