3690 search results - page 200 / 738 » Computation with classical sequents |
94
Voted
ICDM
2005
IEEE
15 years 6 months ago
2005
IEEE
Data mining algorithms are facing the challenge to deal with an increasing number of complex objects. For graph data, a whole toolbox of data mining algorithms becomes available b...
109
Voted
CIVR
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We introduce a view–point invariant representation of moving object trajectories that can be used in video database applications. It is assumed that trajectories lie on...
106
Voted
ECAI
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture wi...
125
Voted
IBERAMIA
2004
Springer
15 years 6 months ago
2004
Springer
Early work on Case Based Reasoning reported in the literature shows the importance of soft computing techniques applied to different stages of the classical 4-step CBR life cycle. ...
109
Voted
ICALP
2004
Springer
15 years 6 months ago
2004
Springer
We present a domain-theoretic version of Picard’s theorem for solving classical initial value problems in Rn . For the case of vector fields that satisfy a Lipschitz condition, ...