5818 search results - page 1103 / 1164 » A reasonable Semantic Web |
191
click to vote
EMSOFT
2007
Springer
16 years 27 days ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
184
click to vote
OOPSLA
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
144
click to vote
VMCAI
2007
Springer
16 years 25 days ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
186
Voted
SIGIR
2005
ACM
16 years 8 days ago
2005
ACM
We consider the problem of document indexing and representation. Recently, Locality Preserving Indexing (LPI) was proposed for learning a compact document subspace. Different from...
192
click to vote
TMRA
2005
Springer
16 years 6 days ago
2005
Springer
This work-in-progress report subsumes our ongoing research to develop a Topic Maps centric, modularised system which supports collaborative software development by combining the me...