1280 search results - page 118 / 256 » Soft Typing with Conditional Types |
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
We examine a few elementary cases of forward contracting and a process by which capacity contracts with energy strike prices can lead to incentives for enhanced competition. To mo...
ICDAR
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper describes a mode detection system for online pen input that employs a Bayesian network to combine classification results and context information. Previous monolithic c...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— An image-based visual servo control is presented for an Unmanned aerial vehicle (UAV) capable of stationary or quasi-stationary flight. The proposed control design addresses v...
ISCC
2007
IEEE
14 years 3 months ago
2007
IEEE
Bluetooth’s default ARQ scheme is not well suited to real-time video streaming, resulting in missed display and decode deadlines. Therefore, adaptive ARQ combined with a deadline...
AB
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. In 1973 R. Thomas introduced a logical approach to modeling and analysis of bioregulatory networks. Given a set of Boolean functions describing the regulatory interaction...