8499 search results - page 75 / 1700 » cans 2009 |
124
click to vote
IRI
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper we describe an approach to build XML schemas in a collaborative way. The approach is based on computing intersection between sequences of type terms built over const...
128
click to vote
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
We provide in this article two characterisation results, describing exactly which terms verify the dinaturality diagram, in Church-style system F and in Curry-style system F. The ...
128
click to vote
IWCMC
2009
ACM
15 years 10 months ago
2009
ACM
Abstract—Carrier Sense Multiple Access with Enhanced Collision Avoidance (CSMA/ECA) is a recently proposed modification to the well-known CSMA/CA protocol. By using a determinis...
117
click to vote
FASE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present an approach to define template languages for generating syntactically correct code. In the first part of the paper, we define the syntax and semantics of a ...
ICC
2009
IEEE
15 years 10 months ago
2009
IEEE
—In this paper, we present an application of the Extended Kalman Filter for the on-line estimation of a dynamical carrier phase offset. The novel approach implies deriving the ...