5066 search results - page 427 / 1014 » Spectra of structures and relations |
173
click to vote
ILP
2005
Springer
16 years 8 days ago
2005
Springer
In this paper, we focus on the problem of learning reactive skills for use by physical agents. We propose a new representation for such procedures, teleoreactive logic programs, al...
170
click to vote
ISMIS
2005
Springer
16 years 8 days ago
2005
Springer
Being a good entry page to a Web site reflects how well the page enables a user to obtain optimal access, by browsing, to relevant and quality pages within the site. Our aim is to...
172
click to vote
ISVC
2005
Springer
16 years 8 days ago
2005
Springer
In this paper we explicitly derive a level set formulation for mean curvature flow in a Riemannian metric space. This extends the traditional geodesic active contour framework whi...
170
click to vote
MFCS
2005
Springer
16 years 7 days ago
2005
Springer
We compare the expressive power of two automata-based finite-state models of concurrency. We show that Droste’s and Kuske’s coherent stably concurrent automata and Bednarczyk...
177
Voted
TLCA
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. The Focal language (formerly FoC) allows one to incrementally build modules and to formally prove their correctness. In this paper, we present two formal semantics for en...