Sciweavers

3897 search results - page 177 / 780
» complexity 2010
Sort
View
CVPR
2010
IEEE
15 years 11 months ago
Segmentation of Building Facades Using Procedural Shape Priors
In this paper we propose a novel approach to the perceptual interpretation of building facades that combines shape grammars, supervised classification and random walks. Procedural...
Olivier Teboul, Loic Simon, Panagiotis Koutsouraki...
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
15 years 6 months ago
Verifying UML/OCL models using Boolean satisfiability
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Mart...
ICECCS
2010
IEEE
188views Hardware» more  ICECCS 2010»
15 years 2 months ago
A Transactional Architecture for Simulation
Abstract—We are developing a concurrent, agent-based approach to complex systems simulation as part of the CoSMoS project. In such simulations an agent’s behaviour can typicall...
Tim Hoverd, Adam T. Sampson
AINA
2010
IEEE
15 years 1 months ago
Compensation of Sensors Nonlinearity with Neural Networks
—This paper describes a method of linearizing the nonlinear characteristics of many sensors using an embedded neural network. The proposed method allows for complex neural networ...
Nicholas J. Cotton, Bogdan M. Wilamowski
JAT
2010
39views more  JAT 2010»
15 years 1 months ago
On spectral polynomials of the Heun equation. I
The classical Heun equation has the form  Q(z) d2 dz2 + P (z) d dz + V (z) ff S(z) = 0, where Q(z) is a cubic complex polynomial, P (z) is a polynomial of degree at most 2 and ...
Boris Shapiro, Milos Tater