4480 search results - page 295 / 896 » Prototyping Completion with Constraints Using Computational ... |
172
click to vote
TLCA
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
168
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
We have proposed a complete system for text detection and localization in gray scale scene images. A boosting framework integrating feature and weak classifier selection based on...
177
click to vote
FLAIRS
2007
15 years 9 months ago
2007
The LEGO Mindstorms robots provide an excellent introductory platform for students to learn computer programming. However, a major drawback is students’ lack of access to robots...
207
click to vote
CODES
2001
IEEE
15 years 10 months ago
2001
IEEE
We present a new design environment, called System Canvas, targeted at DSP and telecommunication system designs. Our environment uses an easy-to-use block-diagram syntax to specif...
157
click to vote
IPPS
2007
IEEE
16 years 27 days ago
2007
IEEE
This paper proposes a dynamic scheduler that supports the coexistence of guaranteed and non-guaranteed bandwidth servers to efficiently handle soft-tasks’ overloads by making a...