2610 search results - page 448 / 522 » codes 2007 |
151
Voted
SPIN
2007
Springer
15 years 9 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
183
Voted
WAPCV
2007
Springer
15 years 9 months ago
2007
Springer
The innovation of this work is the provision of a system that learns visual encodings of attention patterns and that enables sequential attention for object detection in real world...
123
Voted
WINE
2007
Springer
15 years 9 months ago
2007
Springer
We examine a formal model of sponsored search in which advertisers can bid not only on search terms, but on search terms under specific contexts. A context is any auxiliary infor...
134
Voted
WSFM
2007
Springer
15 years 9 months ago
2007
Springer
Developing wide-area distributed applications requires jointly analyzing functional and Quality of Service (QoS) aspects, such as timing properties. Labelled transition systems and...
134
Voted
AAIM
2007
Springer
15 years 7 months ago
2007
Springer
PI controller has attracted researchers in industrial control processes because of its simplicity and robust performance in a wide range of operating conditions. It has been used t...