3552 search results - page 636 / 711 » Proof theory in the abstract |
152
click to vote
ISWC
2002
IEEE
15 years 11 months ago
2002
IEEE
The representation of physical space has traditionally focused on keyphrases such as “Computer Science Building” or “Physics Department” that help us in describing and nav...
148
click to vote
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We provide a framework for the design and analysis of dynamic programming algorithms for surface-embedded graphs on n vertices and branchwidth at most k. Our technique ap...
154
click to vote
PAKDD
2010
ACM
15 years 11 months ago
2010
ACM
Abstract. Integrative mining of heterogeneous data is one of the major challenges for data mining in the next decade. We address the problem of integrative clustering of data with ...
149
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— Families of differential operators, like those defining affine, generally nonlinear, control systems are known to have natural Hopf algebra structures. These provide ...
161
click to vote
AOSE
2001
Springer
15 years 10 months ago
2001
Springer
A key challenge for agent-oriented software engineering is to develop and implement open systems composed of interacting autonomous agents. On the one hand, there is a need for pe...