Sciweavers

656 search results - page 54 / 132
» Modeling Quality of Information in Multi-sensor Surveillance...
Sort
View
CAISE
2006
Springer
15 years 5 months ago
From Requirements Models to Formal Specifications in B
Abstract. The development of critical systems requires a high assurance process from requirements to the running code. Formal methods, such as B, now provide industry-strength tool...
Christophe Ponsard, Emmanuel Dieul
SIGSAND
2008
15 years 2 months ago
Relational Model Driven Application Design
Abstract: A closer look at typical information systems shows that relatively simple routines often contribute significantly to the overall expenses of the software development proc...
Michael Guckert, René Gerlach
101
Voted
AINA
2007
IEEE
15 years 5 months ago
Domain Modelling for Ubiquitous Computing Applications
Many Ubiquitous computing applications can be considered as planning and acting problems in environments characterised by uncertainty and partial observability. Such systems rely ...
Anthony Harrington, Vinny Cahill
GIS
1999
ACM
15 years 5 months ago
Animated Cartography for Urban Soundscape Information
In urban areas, city noises represent today a great problem. They are real nuisances for city-dwellers. Noises are caused by traffic, road works, factories, and also by people. So...
Myoung-Ah Kang, Sylvie Servigne
123
Voted
CVPR
2006
IEEE
16 years 3 months ago
Image Matching Using Photometric Information
Image matching is an essential task in many computer vision applications. It is obvious that thorough utilization of all available information is critical for the success of match...
Michael Kolomenkin, Ilan Shimshoni