1835 search results - page 312 / 367 » Functional Programming of Behavior-Based Systems |
103
click to vote
ICFEM
2010
Springer
15 years 25 days ago
2010
Springer
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
138
click to vote
ICDAR
2009
IEEE
15 years 2 days ago
2009
IEEE
In this paper, we propose a new framework for online handwritten mathematical expression recognition. The proposed architecture aims at handling mathematical expression recognitio...
115
click to vote
TSP
2010
14 years 9 months ago
2010
Abstract--This correspondence revisits the joint transceiver optimization problem for multiple-input multiple-output (MIMO) channels. The linear transceiver as well as the transcei...
153
click to vote
GECCO
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we embed evolutionary computation into statistical learning theory. First, we outline the connection between large margin optimization and statistical learning and s...
159
Voted
IWAN
2000
Springer
15 years 5 months ago
2000
Springer
This paper presents the main concepts of the IST Project FAIN "Future Active IP Networks" [10], a three-year collaborative research project, whose main task is to develo...