1205 search results - page 129 / 241 » Program Extraction from Large Proof Developments |
118
click to vote
ICRA
2007
IEEE
15 years 7 months ago
2007
IEEE
— Quickly adapting the manufacturing system to the production of new or modified products is critical for manufacturers in order to stay competitive. For flexible manufacturing...
110
click to vote
JSS
2007
15 years 1 months ago
2007
Designing large software systems out of reusable components has become increasingly popular. Although liberal composition of reusable components saves time and expense, many exper...
132
click to vote
CIKM
2010
Springer
15 years 3 days ago
2010
Springer
Non-negative tensor factorization (NTF) is a relatively new technique that has been successfully used to extract significant characteristics from polyadic data, such as data in s...
107
click to vote
ICHIT
2009
Springer
15 years 6 months ago
2009
Springer
A robot with the ability to dance autonomously has many potential applications, such as serving as a prototype dancer for choreographers or as a participant in stage performances ...
106
click to vote
ICIP
2008
IEEE
15 years 8 months ago
2008
IEEE
We have proposed a novel model-based compression technique for nonstationary landmark shape data extracted from video sequences. The main goal is to develop a technique for the co...