2596 search results - page 482 / 520 » Gradual Typing for Objects |
165
click to vote
ESAW
2009
Springer
16 years 17 days 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...
149
click to vote
HOTI
2008
IEEE
16 years 13 days 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...
149
click to vote
ICASSP
2008
IEEE
16 years 13 days 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...
167
click to vote
LICS
2008
IEEE
16 years 11 days 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 ...
184
click to vote
MOBIQUITOUS
2008
IEEE
16 years 11 days 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...