3742 search results - page 204 / 749 » On the Use of Formal Techniques for Validation |
196
click to vote
TMI
2010
15 years 1 months ago
2010
Within-subject analysis in fMRI essentially addresses two problems, the detection of brain regions eliciting evoked activity and the estimation of the underlying dynamics. In [1, 2...
236
click to vote
CPP
2011
14 years 6 months ago
2011
Parsing text to identify grammatical structure is a common task, especially in relation to programming languages and associated tools such as compilers. Parsers for context-free g...
152
click to vote
CVPR
1999
IEEE
16 years 8 months ago
1999
IEEE
A non-metric pan-tilt stereo-head consists of a weakly calibrated stereo rig mounted on a pan-tilt mechanism. It is called non-metric since neither the kinematics of the mechanism...
189
click to vote
ACSAC
2000
IEEE
15 years 11 months ago
2000
IEEE
Existing software infrastructures and middleware provide uniform security services across heterogeneous information networks. However, few, if any, tools exist that support access...
161
click to vote
COORDINATION
2010
Springer
15 years 9 months ago
2010
Springer
Increasing sizes of present-day distributed software systems call for coordination models which are both modular and scalable. Precise modelling of real-life applications further r...