Sciweavers

3435 search results - page 417 / 687
» Aspect Model Unweaving
Sort
View
POPL
2009
ACM
16 years 7 months ago
The semantics of x86-CC multiprocessor machine code
Multiprocessors are now dominant, but real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, t...
Susmit Sarkar, Peter Sewell, Francesco Zappa Narde...
CVPR
2010
IEEE
16 years 3 months ago
A Generative Perspective on MRFs in Low-Level Vision
Markov random fields (MRFs) are popular and generic probabilistic models of prior knowledge in low-level vision. Yet their generative properties are rarely examined, while applica...
Uwe Schmidt, Qi Gao, Stefan Roth
CAISE
2009
Springer
16 years 1 months ago
Complexity Levels of Representing Dynamics in EA Planning
Abstract. Enterprise Architecture (EA) models provide information on the fundamental as-is structure of a company or governmental agency and thus serve as an informational basis fo...
Stephan Aier, Bettina Gleichauf, Jan Saat, Robert ...
ESWS
2009
Springer
16 years 1 months ago
ONTOCOM Revisited: Towards Accurate Cost Predictions for Ontology Development Projects
Reliable methods to assess the costs and benefits of ontologies are an important instrument to demonstrate the tangible business value of semantic technologies within enterprises,...
Elena Paslaru Bontas Simperl, Igor O. Popov, Tobia...
ESWS
2009
Springer
16 years 1 months ago
Towards Linguistically Grounded Ontologies
Abstract. In this paper we argue why it is necessary to associate linguistic information with ontologies and why more expressive models, beyond RDFS, OWL and SKOS, are needed to ca...
Paul Buitelaar, Philipp Cimiano, Peter Haase, Mich...