1466 search results - page 58 / 294 » Complexity of Reasoning over Temporal Data Models |
144
Voted
FAC
2007
15 years 4 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...
129
Voted
GCC
2004
Springer
15 years 9 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...
133
click to vote
ML
2002
ACM
15 years 3 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...
326
click to vote
ICA
2012
Springer
13 years 11 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...
109
click to vote
HUC
2007
Springer
15 years 10 months 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, ...