3013 search results - page 342 / 603 » Context-Oriented Domain Analysis |
187
click to vote
MICCAI
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. X-ray microCT (computed tomography) has become a valuable tool in the analysis of vascular architecture in small animals. Because of its high resolution, a detailed asses...
170
click to vote
SAT
2005
Springer
16 years 5 days ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
184
click to vote
SAFECOMP
2004
Springer
16 years 1 days ago
2004
Springer
Safety cases embody arguments that demonstrate how safety properties of a system are upheld. Such cases implicitly document the barriers that must exist between hazards and vulnera...
195
click to vote
CODES
2003
IEEE
16 years 6 hour ago
2003
IEEE
Distributed embedded systems implemented with mixed, eventtriggered and time-triggered task sets, which communicate over bus protocols consisting of both static and dynamic phases...
189
click to vote
ICDAR
2003
IEEE
15 years 12 months ago
2003
IEEE
Postcorrection of OCR-results for text documents is usually based on electronic dictionaries. When scanning texts from a specific thematic area, conventional dictionaries often m...