3394 search results - page 443 / 679 » A Modal Model of Memory |
172
click to vote
ICALP
1998
Springer
15 years 10 months ago
1998
Springer
We show that characteristic formulae for nite-state systems up to bisimulationlike equivalences (e.g., strong and weak bisimilarity) can be given in the simple branching-time temp...
195
click to vote
KDD
2010
ACM
15 years 10 months ago
2010
ACM
The security demands on modern system administration are enormous and getting worse. Chief among these demands, administrators must monitor the continual ongoing disclosure of sof...
164
click to vote
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
We consider interval measurement logic IML, a sublogic of Zhou and Hansen's interval logic, with measurement functions which provide real-valued measurement of some aspect of ...
182
click to vote
DLOG
2003
15 years 8 months ago
2003
In this chapter, we are concerned with the relationship between Description Logics and other formalisms, regardless of whether they were designed for knowledge representation issu...
186
click to vote
RIAO
2000
15 years 8 months ago
2000
In this paper, we present an approach for speaker change detection in broadcast video using joint audio-visual scene change statistics. Our experiments indicate that using joint a...