8499 search results - page 75 / 1700 » cans 2009 |
93
Voted
IRI
2009
IEEE
15 years 7 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...
102
click to vote
LICS
2009
IEEE
15 years 7 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 ...
90
Voted
IWCMC
2009
ACM
15 years 7 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...
92
Voted
FASE
2009
Springer
15 years 7 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 ...
66
Voted
ICC
2009
IEEE
15 years 7 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 ...