3388 search results - page 308 / 678 » Type-theoretic design patterns |
140
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
This paper initiates the use of vector fields to design, optimize, and implement reactive schedules for safe cooperative robot patterns on planar graphs. We consider Automated Gui...
156
click to vote
SPE
2002
15 years 6 months ago
2002
FC++ is a library for programming functionally in C++. Compared to other C++ functional programming libraries, FC++ is distinguished by its powerful type system which allows manip...
204
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— Passive stereo vision is widely used as a range sensing technology in robots, but suffers from dropouts: areas of low texture where stereo matching fails. By supplementing a st...
225
Voted
ACCV
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. This paper proposes a novel method to deal with the representation issue in texture classification. A learning framework of image descriptor is designed based on the Fish...
223
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
Cognitive radio (CR) techniques improve the spectrum utilization by exploiting temporarily-free frequency bands (i.e., in the time domain). The spectrum utilization can be boosted...