2902 search results - page 351 / 581 » The TheaterLoc Virtual Application |
130
Voted
SE
2007
15 years 7 months ago
2007
Abstract: Software development is a complex task and therefore requires professional programming skills. Restricting the focus to a specific problem domain allows the application o...
148
Voted
WSC
1997
15 years 7 months ago
1997
We introduce SIDE (the acronym stands for Sensors In a Distributed Environment)—a software package for developing control programs for reactive systems. One distinctive feature ...
167
Voted
NIPS
1996
15 years 7 months ago
1996
Support Vector Learning Machines (SVM) are nding application in pattern recognition, regression estimation, and operator inversion for ill-posed problems. Against this very genera...
167
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we present the performance of different broadcast schemes for multihop sensor networks based on mathematical modeling. In near future many applications will demand ...
172
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...