1509 search results - page 224 / 302 » Tracking Real-Time Systems Requirements |
FM
2001
Springer
14 years 11 days ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking many distributed systems. Timestamps are often ...
CIKM
2008
Springer
13 years 10 months ago
2008
Springer
Finding biological entities (such as genes or proteins) that satisfy certain conditions from texts is an important and challenging task in biomedical information retrieval and tex...
GI
2009
Springer
13 years 5 months ago
2009
Springer
: In this paper we describe an approach that enables the detection, tracking and fine analysis (classification of gender and facial expression) of faces using a single web camera. ...
SG
2009
Springer
14 years 13 days ago
2009
Springer
Abstract. Modern premium automobiles are equipped with an increasing number of Electronic Control Units (ECUs). These ECUs are interconnected and form a complex network to provide ...
PIMRC
2010
IEEE
13 years 5 months ago
2010
IEEE
We propose an opportunistic channel access scheme for cognitive radio-enabled secondary networks. In our work, we model the channel occupancy due to Primary User (PU) activity as a...