738 search results - page 48 / 148 » Object Orientation and Formal Techniques |
IROS
2007
IEEE
15 years 5 months ago
2007
IEEE
– This paper presents visual perception discovered in high-level manipulator planning for a robot to reproduce the procedure involved in human painting. First, we propose a techn...
SIGDOC
2006
ACM
15 years 5 months ago
2006
ACM
We report on the development of a tool which supports software programmers in programming to an interface by providing just in time (JIT) solutions. The development of the tool wa...
AMDO
2006
Springer
15 years 2 months ago
2006
Springer
This paper presents a technique to enable deformable objects to be matched throughout video sequences based on the information provided by multi-scale Gaussian derivative filter ba...
IFM
1999
Springer
15 years 3 months ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
ICPR
2008
IEEE
16 years 7 days ago
2008
IEEE
For detecting objects in natural visual scenes, several powerful image features have been proposed which can collectively be described as spatial histograms of oriented energy. Th...