Sciweavers

1313 search results - page 87 / 263
» Generic Universe Types
Sort
View
ATAL
2008
Springer
15 years 6 months ago
Goals in agent systems: a unifying framework
In the literature on agent systems, the proactive behavior of agents is often modeled in terms of goals that the agents pursue. We review a number of commonly-used existing goal t...
M. Birna van Riemsdijk, Mehdi Dastani, Michael Win...
CVPR
2008
IEEE
16 years 6 months ago
Taylor expansion based classifier adaptation: Application to person detection
Because of the large variation across different environments, a generic classifier trained on extensive data-sets may perform sub-optimally in a particular test environment. In th...
Cha Zhang, Raffay Hamid, Zhengyou Zhang
ICFP
2006
ACM
16 years 4 months ago
An object-oriented approach to datatype-generic programming
Datatype-generic programming (DGP) is the next step beyond abstracting over types using parametric polymorphism, which is often called "genericity" in object-oriented la...
Adriaan Moors, Frank Piessens, Wouter Joosen
CALCO
2009
Springer
156views Mathematics» more  CALCO 2009»
15 years 11 months ago
Van Kampen Colimits as Bicolimits in Span
The exactness properties of coproducts in extensive categories and pushouts along monos in adhesive categories have found various applications in theoretical computer science, e.g....
Tobias Heindel, Pawel Sobocinski
ICRA
2003
IEEE
106views Robotics» more  ICRA 2003»
15 years 9 months ago
An object-oriented controller architecture for flexible parts feeding systems
A new flexible parts feeding system has been designed and constructed at Case Western Reserve University. To complement the feeder, an object-oriented software architecture has be...
Greg C. Causey