9370 search results - page 1521 / 1874 » An Abstract Notion of Application |
207
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract. F-logic is a popular formalism for knowledge-intensive applications and, especially, for ontology management in Semantic Web. However, the original F-logic’s semantics ...
156
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
We have developed a technique to compute a Quasi Static Schedule of a concurrent specification for the software partition of an embedded system. Previous work did not take into a...
206
click to vote
FOCS
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract—This paper generalizes the classical Knuth–Schönhage algorithm computing the greatest common divisor (gcd) of two polynomials for solving arbitrary linear Diophantine...
174
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract—Many applications require continuous monitoring of a moving target by a controllable vision system. Although the goal of tracking objects is not new, traditional techniq...
159
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract— Tracked mobile robots in the 20 kg size class are under development for applications in urban reconnaissance. For efficient deployment, it is desirable for teams of ro...