6014 search results - page 822 / 1203 » Parametric Analysis of Computer Systems |
205
click to vote
ICMI
2005
Springer
16 years 7 days ago
2005
Springer
In this paper, we present a novel approach for tracking a lecturer during the course of his speech. We use features from multiple cameras and microphones, and process them in a jo...
164
click to vote
GG
2004
Springer
16 years 3 days ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
178
click to vote
VECPAR
2004
Springer
16 years 2 days ago
2004
Springer
The Human Genetics Unit (HGU) of the Medical Research Council (MRC) in Edinburgh has developed the Edinburgh Mouse Atlas, a spatial temporal framework to store and analyze biologic...
138
click to vote
DSN
2003
IEEE
16 years 1 days ago
2003
IEEE
This paper describes an experimental study of Linux kernel behavior in the presence of errors that impact the instruction stream of the kernel code. Extensive error injection exper...
181
click to vote
MOBIHOC
2003
ACM
15 years 12 months ago
2003
ACM
This paper provides mobility estimation and prediction for a variant of GSM network which resembles an adhoc wireless mobile network where base stations and users are both mobile....