3013 search results - page 126 / 603 » Context-Oriented Domain Analysis |
150
click to vote
KI
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. We provide an interactive method for knowledge acquisition combining approaches from description logic and formal concept analysis. Based on present data, hypothetical ru...
148
click to vote
ISCAS
2005
IEEE
15 years 12 months ago
2005
IEEE
— Based on a Fourier series analysis, an analytic interconnect model is presented which is suitable for periodic signals, such as a clock signal. In this model, the far end time ...
154
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e...
162
click to vote
ISSTA
2006
ACM
16 years 10 days ago
2006
ACM
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....
148
click to vote
NOLISP
2007
Springer
16 years 16 days ago
2007
Springer
Voice source analysis is an important but difficult issue for speech processing. In this talk, three aspects of voice source analysis recently developed at LIMSI (Orsay, France) a...