7960 search results - page 556 / 1592 » Systems for Knowledge and Beliefs |
193
click to vote
IWSDS
2010
15 years 5 months ago
2010
This paper addresses a spoken dialogue framework that helps users make decisions. Various decision criteria are involved when we select an alternative from a given set of alternati...
187
click to vote
SCL
2010
15 years 2 months ago
2010
The stabilization of uncertain LTI/LPV time delay systems with time varying delays by statefeedback controllers is addressed. At the difference of other works in the literature, t...
181
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
We propose a method for the detection of trends in social bookmarking systems. Compared to other work in this emerging field, our approach has a more sound statistical basis. In o...
208
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
215
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
In recent years, the tourism assistance community is gradually shifting its emphasis to digital, interactive systems. Our project aims for digital tourism assistance by combining ...