3358 search results - page 225 / 672 » Dynamic Description Logics |
191
click to vote
ICASSP
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper describes a multi-biometric verification system that is fully adaptive to variability in data acquisition using fuzzy logic decision fusion. The system uses fuzzy logic...
212
click to vote
DAC
2005
ACM
16 years 8 months ago
2005
ACM
: Due to exponential increase in subthreshold leakage with technology scaling and temperature increase, leakage power is becoming a major fraction of total power in the active mode...
206
click to vote
DAGSTUHL
1998
15 years 8 months ago
1998
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...
182
click to vote
COMPSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
The formal specification of design patterns is widely recognised as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
180
click to vote
APAL
2010
15 years 7 months ago
2010
This paper provides a sound and complete proof system for a language Le+Y that adds to Dynamic Epistemic Logic (DEL) a discrete previous-time operator as well as single symbol for...