3931 search results - page 604 / 787 » Separation logic and abstraction |
208
click to vote
EDOC
2002
IEEE
16 years 12 days ago
2002
IEEE
Continuous change of user requirements has become a constant for geo-information systems. Designing systems that can adapt to such changes requires an appropriate ethodology that ...
187
click to vote
CPAIOR
2010
Springer
16 years 7 days ago
2010
Springer
Constrained Optimum Path (COP) problems arise in many real-life applications and are ubiquitous in communication networks. They have been traditionally approached by dedicated algo...
190
click to vote
DCOSS
2010
Springer
16 years 7 days ago
2010
Springer
Abstract. The success of high-level programming models in Wireless Sensor Networks (WSNs) is heavily dependent on factors such as ease of programming, code well-structuring, degree...
225
click to vote
CDC
2009
IEEE
16 years 5 days ago
2009
IEEE
Abstract— A distributed online learning framework for support vector machines (SVMs) is presented and analyzed. First, the generic binary classification problem is decomposed in...
219
click to vote
CDC
2009
IEEE
16 years 5 days ago
2009
IEEE
Abstract— Many problems associated with networked systems can be formulated as network utility maximization (NUM) problems. NUM problems maximize a global separable measure of ne...