2296 search results - page 357 / 460 » The Expressive Power of Synchronizations |
138
click to vote
ICTAI
2007
IEEE
15 years 11 months ago
2007
IEEE
The goal of Semantic Web research is to transform the Web from a linked document repository into a distributed knowledge base and application platform, thus allowing the vast rang...
139
click to vote
IJCNN
2007
IEEE
15 years 11 months 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...
138
click to vote
ISBI
2007
IEEE
15 years 11 months 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...
151
Voted
LICS
2007
IEEE
15 years 10 months 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 ...
135
click to vote
QEST
2007
IEEE
15 years 10 months 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...