12052 search results - page 710 / 2411 » computing 2010 |
230
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
248
click to vote
TGC
2010
Springer
15 years 5 months ago
2010
Springer
Static analysers are becoming so complex that it is crucial to ascertain the soundness of their results in a provable way. In this paper we develop a certified checker in Coq that ...
282
click to vote
UC
2010
Springer
15 years 5 months ago
2010
Springer
We study Life-like cellular automaton rule B2/S2345. This automaton exhibits a chaotic behavior yet capable for purposeful computation. The automaton implements Boolean gates via p...
218
Voted
ICPR
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper introduces a brain injury detection approach, using 3D filtering technique, for the images acquired by the magnetic resonance imaging (MRI) technique. The proposed meth...
206
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Modeling ranked data is an essential component in a number of important applications including recommendation systems and websearch. In many cases, judges omit preference among un...