1699 search results - page 254 / 340 » On the Expressive Power of QLTL |
162
click to vote
IJCNN
2007
IEEE
16 years 11 days ago
2007
IEEE
— The assessment of highly-risky situations at road intersections have been recently revealed as an important research topic within the context of the automotive industry. In thi...
163
click to vote
ISBI
2007
IEEE
16 years 11 days ago
2007
IEEE
Optical imaging is a powerful technique to map brain function in animals. In this study, we consider in vivo optical imaging of the murine olfactory bulb, using an intrinsic signa...
173
click to vote
LICS
2007
IEEE
16 years 10 days ago
2007
IEEE
d abstract) Marcin Jurdzi´nski and Ranko Lazi´c∗ Department of Computer Science, University of Warwick, UK An alternation-free modal µ-calculus over data trees is introduced ...
154
click to vote
QEST
2007
IEEE
16 years 10 days ago
2007
IEEE
XML-based interchange formats for performance models provide a mechanism whereby performance model information may be transferred among modeling tools. For example, the PMIF allow...
155
click to vote
VL
2007
IEEE
16 years 10 days ago
2007
IEEE
When creating new application programming interfaces (APIs), designers must make many decisions. These decisions affect the quality of the resulting APIs in terms of performance (...