2596 search results - page 331 / 520 » Gradual Typing for Objects |
140
click to vote
ESORICS
2010
Springer
15 years 4 months ago
2010
Springer
Collaborative optimization problems can often be modeled as a linear program whose objective function and constraints combine data from several parties. However, important applicat...
108
click to vote
BC
2008
15 years 4 months ago
2008
Cerebellum-like structures are compared for two sensory systems: electrosensory and auditory. The electrosensory lateral line lobe of mormyrid electric fish is reviewedandtheneural...
131
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
A theory, graphical notation, mathematical calculus and implementation for finding whether two given expressions can, at execution time, denote references attached to the same obje...
129
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
A Rapid evolution of mobile technologies has led to the development of more sophisticated mobile devices with better storage, processing and transmission power. These factors enab...
153
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Rapid progress in microelectromechanical system (MEMS) and radio frequency (RF) design has enabled the development of low-power, inexpensive, and network-enabled microsensors. The...