Sciweavers

1690 search results - page 178 / 338
» Applications of Metric Coinduction
Sort
View
SAINT
2005
IEEE
14 years 4 months ago
Channel-Based Connectivity Management Middleware for Seamless Integration of Heterogeneous Wireless Networks
This paper presents a middleware architecture for the adaptable management of heterogeneous wireless resources. The main application of the proposed architecture is the optimal ut...
Jun-Zhao Sun, Jukka Riekki, Marko Jurmu, Jaakko J....
ECML
2005
Springer
14 years 4 months ago
Learning to Complete Sentences
Abstract. We consider the problem of predicting how a user will continue a given initial text fragment. Intuitively, our goal is to develop a “tab-complete” function for natura...
Steffen Bickel, Peter Haider, Tobias Scheffer
ICIC
2005
Springer
14 years 4 months ago
Borderline-SMOTE: A New Over-Sampling Method in Imbalanced Data Sets Learning
In recent years, mining with imbalanced data sets receives more and more attentions in both theoretical and practical aspects. This paper introduces the importance of imbalanced da...
Hui Han, Wenyuan Wang, Binghuan Mao
ZUM
2005
Springer
142views Formal Methods» more  ZUM 2005»
14 years 4 months ago
Formal Program Development with Approximations
Abstract. We describe a method for combining formal program development with a disciplined and documented way of introducing realistic compromises, for example necessitated by reso...
Eerke A. Boiten, John Derrick
DIALM
2004
ACM
100views Algorithms» more  DIALM 2004»
14 years 4 months ago
Virtual coordinates for ad hoc and sensor networks
In many applications of wireless ad hoc and sensor networks, position-awareness is of great importance. Often, as in the case of geometric routing, it is sufficient to have virtua...
Thomas Moscibroda, Regina O'Dell, Mirjam Wattenhof...