4719 search results - page 707 / 944 » Newtonian program analysis |
182
click to vote
HYBRID
2009
Springer
16 years 28 days ago
2009
Springer
We investigate a new approach for solving boundary control problems for dynamical systems that are governed by transport equations, when the control function is restricted to binar...
143
click to vote
CONIELECOMP
2009
IEEE
16 years 27 days ago
2009
IEEE
In this paper, we present the design and implementation of a PLC (Power-Line Communication) Modem based on Orthogonal Frequency Division Multiplexing (OFDM). The PLC device implem...
134
click to vote
SASO
2009
IEEE
16 years 26 days ago
2009
IEEE
—We examine the use of teleological metareasoning for self-adaptation in game-playing software agents. The goal of our work is to develop an interactive environment in which the ...
154
click to vote
DBPL
2009
Springer
16 years 22 days ago
2009
Springer
In this paper, we revisit the view based security framework for XML without imposing any of the previously considered restrictions on the class of queries, the class of DTDs, and t...
157
click to vote
ERSHOV
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. The article concerns problems of formulating standard requirements to implementations of mathematical functions working with floating-point numbers and conformance test ...