3690 search results - page 78 / 738 » Computation with classical sequents |
IROS
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— Temporal classification, such as activity recognition, is a key component for creating intelligent robot systems. In the case of robots, classification algorithms mus...
ICIP
2005
IEEE
15 years 11 months ago
2005
IEEE
We investigate the use of quasi-interpolating approximation schemes, to construct an estimate of an unknown function from its given discrete samples. We show theoretically and wit...
AB
2007
Springer
15 years 4 months ago
2007
Springer
Abstract The classical attenuation regulation of gene expression in bacteria is considered. We propose to represent the secondary RNA structure in the leader region of a gene or an...
ICALP
2007
Springer
15 years 4 months ago
2007
Springer
In this paper we consider the classical Erd˝os-R´enyi model of random graphs Gn,p. We show that for p = p(n) ≤ n−3/4−δ , for any fixed δ > 0, the chromatic number χ...
ACOM
2006
Springer
15 years 3 months ago
2006
Springer
In this paper, we extend the classical BDI architecture for the treatment of social commitments based communication by: (1) linking social commitments and individual intentions, (2...