2935 search results - page 397 / 587 » An Integrated Approach to High Integrity Software Verificati... |
180
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
action from low level features to high level semantics. Owing to the proliferation of multimedia content in the internet, there is widespread interest in the semantic web community...
211
click to vote
MODELLIERUNG
2001
15 years 7 months ago
2001
: Scenarios/use cases have gained wide-spread use over the last couple of years. In software engineering they are mainly used to capture requirements and specify a system. Many sof...
157
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
The continual shrinkage of minimum feature size in integrated circuit (IC) fabrication incurs more and more serious distortion in the optical lithography process, generating circu...
162
click to vote
ICRA
2008
IEEE
16 years 25 days ago
2008
IEEE
— We describe the dynamic testing and control results obtained with an exoskeletal robot finger with embedded fiber optical sensors. The finger is inspired by the designs of a...
160
click to vote
DATE
2007
IEEE
16 years 22 days ago
2007
IEEE
Individual Data Processing Units (DPUs) are commonly used for operational control and specific data processing of scientific space instruments. To overcome the limitations of trad...