4498 search results - page 245 / 900 » How to Invent Functions |
126
click to vote
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
We introduce a method to accelerate the evaluation of object detection cascades with the help of a divide-andconquer procedure in the space of candidate regions. Compared to the e...
130
click to vote
CONCUR
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We extend Kobayashi and Sumii’s type system for the deadlock-free π-calculus and develop a type reconstruction algorithm. Kobayashi and Sumii’s type system helps hig...
113
click to vote
ICFP
1999
ACM
15 years 9 months ago
1999
ACM
The increasing popularity of component-based programming tools offer a big opportunity to designers of advanced programming languages, such as Haskell. If we can package our progr...
135
click to vote
ICCAD
1999
IEEE
15 years 9 months ago
1999
IEEE
In this paper, an internal design model called FunState (functions driven by state machines) is presented that enables the representation of different types of system components a...
149
click to vote
ICCBR
1999
Springer
15 years 9 months ago
1999
Springer
Software programming is a complex task. To help the user with this task, we are developing a case-based reasoning tool capable of suggesting code to the programmer (software reuse...