2596 search results - page 482 / 520 » Gradual Typing for Objects |
133
click to vote
ESAW
2009
Springer
15 years 10 months ago
2009
Springer
Multi-agent systems are viewed as consisting of individual agents whose behaviors are regulated by organization artifacts. This abstract presents a programming language, which is d...
118
click to vote
HOTI
2008
IEEE
15 years 9 months ago
2008
IEEE
Several types of low power passive equalizer is proposed and optimized in this work. The equalizer topologies include T-junction, parallel R-C and series R-L structures. These str...
116
click to vote
ICASSP
2008
IEEE
15 years 9 months ago
2008
IEEE
Finding sparse approximate solutions to large underdetermined linear systems of equations is a common problem in signal/image processing and statistics. Basis pursuit, the least a...
131
click to vote
LICS
2008
IEEE
15 years 9 months ago
2008
IEEE
We investigate the notions of may- and mustapproximation in Erratic Idealized Algol (a nondeterministic extension of Idealized Algol), and give explicit characterizations of both ...
151
Voted
MOBIQUITOUS
2008
IEEE
15 years 9 months ago
2008
IEEE
VESPA (Vehicular Event Sharing with a mobile P2P Architecture) 1 is a system for enabling vehicles to share information in vehicular ad-hoc networks (VANETs). The originality of V...