Sciweavers

16 search results - page 2 / 4
» cl 2004
Sort
View
CL
2004
Springer
13 years 5 months ago
Induced intentional software views
Evolving and maintaining software requires adequate documentation of its implementation. However, due to the software's constant evolution, the documentation and implementati...
Tom Tourwé, Johan Brichau, Andy Kellens, Kr...
CAD
2005
Springer
13 years 5 months ago
Triangular mesh offset for generalized cutter
In 3-axis NC (Numerical Control) machining, various cutters are used and the offset compensation for these cutters is important for a gouge free tool path generation. This paper i...
Su-Jin Kim, Min-Yang Yang
CL
2004
Springer
13 years 5 months ago
Safe metaclass composition using mixin-based inheritance
In the context of meta-programming and reflective languages, classes are treated as full fledged objects which are instances of other classes named metaclasses. Metaclasses have p...
Noury Bouraqadi
ECAI
2004
Springer
13 years 10 months ago
Towards a Logical Analysis of Biochemical Reactions
We provide a logical model of biochemical reactions and show how hypothesis generation using weakest sufficient and strongest necessary conditions may be used to provide addition...
Patrick Doherty, Steve Kertes, Martin Magnusson, A...
ECAI
2004
Springer
13 years 10 months ago
The KGP Model of Agency
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...
Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, ...