4872 search results - page 262 / 975 » CBR for Modeling Complex Systems |
135
Voted
ENTCS
2007
15 years 5 months ago
2007
Using model-based development has shown to increase efficiency and effectiveness of software production. However, with software as an integral part of products with customized fu...
179
click to vote
IMCSIT
2010
15 years 3 months ago
2010
This paper presents a system for segmentation of images into regions and annotation of these regions for semantic identification of the objects present in the image. The unified me...
145
click to vote
ICC
2007
IEEE
15 years 12 months ago
2007
IEEE
Abstract—In this paper we propose a low complexity frequency domain channel estimator for pilot-symbol-assisted (PSA) orthogonal frequency division multiplexing (OFDM) systems in...
122
Voted
JANCL
2006
15 years 5 months ago
2006
We present an overview of linear-time temporal logics with Presburger constraints whose models are sequences of tuples of integers. Such formal specification languages are welldesi...
148
click to vote
FLAIRS
2008
15 years 7 months ago
2008
We develop a formal system dealing `spatially' with certain aspects of uniformity and control during knowledge acquisition. To this end, we study an appropriate modality, whi...