Sciweavers

786 search results - page 11 / 158
» Adequacy of Limited Testing for Knowledge Based Systems
Sort
View
ICAIL
2003
ACM
14 years 28 days ago
Developing Legal Knowledge Based Systems Through Theory Construction
Bench-Capon and Sartor have proposed that reasoning with legal cases be seen as a process of theory construction, evaluation and application. They have proposed a set of theory co...
Alison Chorley, Trevor J. M. Bench-Capon
DEXAW
1998
IEEE
96views Database» more  DEXAW 1998»
13 years 12 months ago
Verification of Multiple Agent Knowledge-Based Systems
Thepurposeof this paperis to extendverificationtests to systemswith multiple autonomousagent knowledge bases.Usinga classic approachto verification, this paperfocuseson tests conc...
Daniel E. O'Leary
EUROSSC
2007
Springer
14 years 1 months ago
Mapping by Seeing - Wearable Vision-Based Dead-Reckoning, and Closing the Loop
We introduce, characterize and test a vision-based dead-reckoning system for wearable computing that allows to track the user’s trajectory in an unknown and non-instrumented envi...
Daniel Roggen, Reto Jenny, Patrick de la Hamette, ...
ECAI
2006
Springer
13 years 11 months ago
Knowledge Discovery from a Case Base
In case-based reasoning, the adaptation step depends in general on domain-dependent knowledge, which motivates studies on adaptation knowledge acquisition (AKA). CABAMAKA is an AKA...
Mathieu d'Aquin, Fadi Badra, Sandrine Lafrogne, Je...
VTC
2008
IEEE
186views Communications» more  VTC 2008»
14 years 2 months ago
Downlink Limited Feedback Transmission Schemes for Asymmetric MIMO Channels
Abstract—In multiple-input multiple-output (MIMO) broadcast channels, multiuser diversity is exploited by scheduling data transmission to users with best channel conditions. To ï...
Mohsen Eslami, Witold A. Krzymien