1792 search results - page 220 / 359 » Requirements Capture with RCAT |
191
click to vote
IPMI
2007
Springer
16 years 7 months ago
2007
Springer
A fully learning-based framework has been presented for deformable registration of MR brain images. In this framework, the entire brain is first adaptively partitioned into a numbe...
176
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
192
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
195
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...
184
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
For extracting the characteristics a specific geographic entity, and notably a place, we propose to use dynamic Extreme Tagging Systems in combination with the classic approach of...