4047 search results - page 540 / 810 » Some Properties and Some Problems on Set Functors |
157
click to vote
TCS
2008
15 years 6 months ago
2008
We introduce a new unification procedure for the type inference problem in the intersection type discipline. It is well known that type inference in this case should succeed exact...
172
click to vote
TWC
2008
15 years 6 months ago
2008
In this paper, we consider a class of energy-aware routing algorithm that explicitly takes into account the connectivity of the remaining sensor network. In typical sensor network ...
177
click to vote
LOGCOM
2007
15 years 6 months ago
2007
In Artificial Intelligence there is a need for reasoning about continuous processes, where assertions refer to time intervals rather than time points. Taking our lead from van Ben...
161
click to vote
CCR
2004
15 years 6 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
168
click to vote
ENGL
2007
15 years 6 months ago
2007
—This paper presents a generalized linear quadratic Gaussian and loop transfer recovery method to design an optimal lateral control system for an F-16 aircraft. The traditional l...