557 search results - page 73 / 112 » The L4.verified Project - Next Steps |
IEEEARES
2007
IEEE
14 years 2 months ago
2007
IEEE
Service-oriented architectures (SOAs) are a commonly used paradigm for IT infrastructures in various fields. Due to their flexibility and the easy accessibility of their underly...
SEMCO
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper describes work on Named Entity Recognition (NER), in preparation for Relation Extraction (RE), on data from a historical archive organisation. As is often the case in t...
TPHOL
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...
IWSM
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Non-functional requirements (NFRs) of software systems are an important source of uncertainty in effort estimation. Furthermore, quantitatively approaching NFR early in a...
SCIA
2007
Springer
14 years 1 months ago
2007
Springer
Direct image registration methods usually treat shadows as outliers. We propose a method which registers images in a 1D shadow invariant space. Shadow invariant image formation is ...