6014 search results - page 56 / 1203 » Parametric Analysis of Computer Systems |
234
Voted
SAS
1994
Springer
15 years 11 months ago
1994
Springer
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
206
Voted
RTCSA
2000
IEEE
15 years 12 months ago
2000
IEEE
This paper introduces an exact schedulability analysis for the optional computation model urider a specified failure hypothesis. From this analysis, we propose a solutionfor deter...
164
click to vote
MICCAI
2000
Springer
15 years 11 months ago
2000
Springer
The needs of surgeons for computer-assisted systems cannot be satisfied unless their requirements and expectations are known. We determined surgeons' needs for computer-aided ...
174
Voted
CICLING
2005
Springer
16 years 1 months ago
2005
Springer
In this paper a computational model of the Spanish clitic system is presented. In this model clitic pronouns receive a dual analysis in which enclitics are considered inflexions wh...
225
click to vote
MM
2004
ACM
16 years 27 days ago
2004
ACM
Motion information is a powerful cue for visual perception. In the context of video indexing and retrieval, motion content serves as a useful source for compact video representati...