Sciweavers

5244 search results - page 275 / 1049
» Structural Complexity of AvgBPP
Sort
View
MFCS
2009
Springer
16 years 1 months ago
Synthesis for Structure Rewriting Systems
Abstract. The description of a single state of a modelled system is often complex in practice, but few procedures for synthesis address this problem in depth. We study systems in w...
Lukasz Kaiser
183
Voted
OTM
2007
Springer
16 years 24 days ago
Data-Driven Modeling and Coordination of Large Process Structures
Abstract. In the engineering domain, the development of complex products (e.g., cars) necessitates the coordination of thousands of (sub-)processes. One of the biggest challenges f...
Dominic Müller, Manfred Reichert, Joachim Her...
STACS
2005
Springer
16 years 4 days ago
The Core of a Countably Categorical Structure
ded abstract of this article is published in the proceedings of STACS’05, LNCS 3404, Springer Verlag. A relational structure is a core, if all its endomorphisms are embeddings. T...
Manuel Bodirsky
MICCAI
2006
Springer
16 years 7 months ago
Atlas Guided Identification of Brain Structures by Combining 3D Segmentation and SVM Classification
Abstract. This study presents a novel automatic approach for the identification of anatomical brain structures in magnetic resonance images (MRI). The method combines a fast multis...
Ayelet Akselrod-Ballin, Meirav Galun, Moshe John G...
WWW
2008
ACM
16 years 7 months ago
Structured objects in owl: representation and reasoning
Applications of semantic technologies often require the representation of and reasoning with structured objects--that is, objects composed of parts connected in complex ways. Alth...
Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler