3618 search results - page 605 / 724 » Additive functions for number systems in function fields |
160
click to vote
TAP
2010
Springer
15 years 2 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
163
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract-- In this paper we consider the problem of monitoring a known set of stationary features (or locations of interest) in an environment. To observe a feature, a robot must v...
116
click to vote
MHCI
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents a novel idea for a system known as Telelogs. Utilizing the ubiquity of mobile devices, Telelogs functions as a service by which individuals in an urban environ...
133
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
A collective of agents often needs to maximize a “world utility” function which rates the performance of an entire system, while subject to communication restrictions among th...
158
click to vote
RTSS
2008
IEEE
15 years 10 months ago
2008
IEEE
The Real-Time Calculus (RTC) framework proposed in [Chakraborty et al., DATE 2003] and subsequently extended in [Wandeler et al., Real-Time Systems 29(2-3), 2005] and a number of ...