1466 search results - page 58 / 294 » Complexity of Reasoning over Temporal Data Models |
165
click to vote
FAC
2007
15 years 6 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
151
click to vote
GCC
2004
Springer
15 years 11 months ago
2004
Springer
Real-time rendering of complex 3D scene on mobile devices is a challenging task. The main reason is that mobile devices have limited computational capabilities and are lack of powe...
154
click to vote
ML
2002
ACM
15 years 5 months ago
2002
ACM
Additive clustering was originally developed within cognitive psychology to enable the development of featural models of human mental representation. The representational flexibili...
373
click to vote
ICA
2012
Springer
14 years 1 months ago
2012
Springer
Abstract. Missing data in corrupted audio recordings poses a challenging problem for audio signal processing. In this paper we present an approach that allows us to estimate missin...
128
click to vote
HUC
2007
Springer
16 years 5 days ago
2007
Springer
We describe our experience building and using a reasoning system for providing context-based prompts to elders to take their medication. We describe the process of specification, ...