12981 search results - page 540 / 2597 » Model Checking (Abstract) |
166
click to vote
CSREAEEE
2008
15 years 8 months ago
2008
Abstract - Up to now, there is little academic support for the challenges of IT management. As a reaction, various best practice frameworks were developed, which can be subsumed un...
170
Voted
FMOODS
2008
15 years 8 months ago
2008
This paper proposes a semantics-based automatic null pointer analysis for inferring non-null annotations of fields in objectoriented programs. The analysis is formulated for a mini...
170
click to vote
LKR
2008
15 years 8 months ago
2008
Abstract. We extend an automatically generated bilingual JapaneseSwedish dictionary with new translations, automatically discovered from the multi-lingual online encyclopedia Wikip...
222
click to vote
OWLED
2008
15 years 8 months ago
2008
Abstract. We present Owlgres, a DL-Lite reasoner implementation written for PostgreSQL, a mature open source database. Owlgres is an OWL reasoner that provides consistency checking...
168
Voted
BILDMED
2006
15 years 8 months ago
2006
Abstract. Magnetic Resonance Spectroscopic Imaging (MRSI) measures relative concentrations of metabolites in vivo and can thus be used for the diagnosis of certain tumors. We intro...