412 search results - page 49 / 83 » Modelling Metamorphism by Abstract Interpretation |
132
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Mining association rules is a task of data mining, which extracts knowledge in the form of significant implication relation of useful items (objects) from a database. Mining multi...
120
click to vote
FASE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Software architecture constitutes a promising approach to the development of large-scale distributed systems, but architecture description languages (ADLs) and their asso...
109
click to vote
ECCV
2004
Springer
16 years 3 months ago
2004
Springer
Abstract. We present a General Linear Camera (GLC) model that unifies many previous camera models into a single representation. The GLC model is capable of describing all perspecti...
126
click to vote
CSL
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...
108
click to vote
IAT
2005
IEEE
15 years 7 months ago
2005
IEEE
The BDI agent model comprises a simple but efficient folk psychological framework of mentalistic notions usable for modeling rational agent behaviour. Nevertheless, despite its u...