2297 search results - page 179 / 460 » Production of Large Computer Programs |
114
click to vote
MKM
2005
Springer
15 years 8 months ago
2005
Springer
Recently, significant advances have been made in formalised mathematical texts for large, demanding proofs. But although such large developments are possible, they still take an i...
112
Voted
APL
1992
ACM
15 years 6 months ago
1992
ACM
We present the design and implementation of APL Intrinsic Functions for a Finite State Machine (also known as a Finite State Automaton) which recognizes regular languages, and a P...
140
click to vote
CVPR
2004
IEEE
16 years 4 months ago
2004
IEEE
Image retrieval critically relies on the distance function used to compare a query image to images in the database. We suggest to learn such distance functions by training binary ...
126
click to vote
ECCV
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. We propose a novel method for action detection based on a new action descriptor called a shape flow that represents both the shape and movement of an object in a holistic...
118
click to vote
DAC
1996
ACM
15 years 6 months ago
1996
ACM
This paper provides a case study that shows how a demanding application stresses the capabilities of today's CAD tools, especially in the integration of products from multipl...