Sciweavers

1138 search results - page 95 / 228
» Talking about concerns
Sort
View
FOSSACS
2009
Springer
15 years 6 months ago
Full Abstraction for Reduced ML
traction for Reduced ML Andrzej S. Murawski and Nikos Tzevelekos Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, UK We present the first effe...
Andrzej S. Murawski, Nikos Tzevelekos
ICDAR
2009
IEEE
15 years 6 months ago
Machine Authentication of Security Documents
This paper presents a pioneering effort towards machine authentication of security documents like bank cheques, legal deeds, certificates, etc. that fall under the same class as f...
Utpal Garain, Biswajit Halder
ICRA
2009
IEEE
159views Robotics» more  ICRA 2009»
15 years 6 months ago
State transition, balancing, station keeping, and yaw control for a dynamically stable single spherical wheel mobile robot
— Unlike statically stable wheeled mobile robots, dynamically stable mobile robots can have higher centers of gravity, smaller bases of support and can be tall and thin resemblin...
Umashankar Nagarajan, Anish Mampetta, George Kanto...
CIKM
2009
Springer
15 years 6 months ago
A framework for safely publishing communication traces
A communication trace is a detailed record of the communication between two entities. Communication traces are vital for research in computer networks and protocols in many domain...
Abhinav Parate, Gerome Miklau
ECSQARU
2009
Springer
15 years 6 months ago
The Probabilistic Interpretation of Model-Based Diagnosis
Model-based diagnosis is the field of research concerned with the problem of finding faults ms by reasoning with abstract models of the systems. Typically, such models offer a ...
Ildikó Flesch, Peter J. F. Lucas