437 search results - page 45 / 88 » Gradience, Constructions and Constraint Systems |
CORR
2011
Springer
13 years 4 months ago
2011
Springer
B-Prolog is a high-performance implementation of the standard Prolog language with several extensions including matching clauses, action rules for event handling, finite-domain c...
CVPR
2001
IEEE
14 years 11 months ago
2001
IEEE
We present a system for modeling buildings from a single correlation-based Digital Elevation Model (DEM). The model is constructed in two stages. The first stage segments the DEM ...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper describes the system architecture development process in an international ICT company, which is building a comprehensive e-business system for its customers. The implem...
MEMOCODE
2008
IEEE
14 years 3 months ago
2008
IEEE
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
— In this paper, we investigate the almost sure uniform exponential stabilization problem of Markovian jump linear systems (MJLSs) with logarithmically quantized state feedbacks....