Sciweavers

4205 search results - page 30 / 841
» Typed Mobile Objects
Sort
View
MSCS
2006
87views more  MSCS 2006»
15 years 4 months ago
Addressed term rewriting systems: application to a typed object calculus
Daniel J. Dougherty, Pierre Lescanne, Luigi Liquor...
TCSV
2008
74views more  TCSV 2008»
15 years 3 months ago
Robust and Accurate Object Tracking Under Various Types of Occlusions
Jiyan Pan, Bo Hu, Jian Qiu Zhang
82
Voted
JOT
2002
48views more  JOT 2002»
15 years 3 months ago
The Theory of Classification, Part 4: Object Types and Subtyping
Anthony J. H. Simons
115
Voted
SIGACT
1998
69views more  SIGACT 1998»
15 years 3 months ago
Polymorphism, objects and abstract types
Peter W. O'Hearn
116
Voted
CASC
2010
Springer
149views Mathematics» more  CASC 2010»
15 years 2 months ago
Generic, Type-Safe and Object Oriented Computer Algebra Software
Heinz Kredel, Raphael Jolly