Sciweavers

6413 search results - page 1140 / 1283
» Classes of cycle bases
Sort
View
FSTTCS
2010
Springer
14 years 10 months ago
First-Order Logic with Reachability Predicates on Infinite Systems
This paper focuses on first-order logic (FO) extended by reachability predicates such that the expressiveness and hence decidability properties lie between FO and monadic second-o...
Stefan Schulz
131
Voted
GLOBECOM
2010
IEEE
14 years 10 months ago
Optimal Bandwidth Allocation with Dynamic Service Selection in Heterogeneous Wireless Networks
Bandwidth allocation for different service classes in heterogeneous wireless networks is an important issue for service provider in terms of balancing service quality and profit. I...
Kun Zhu, Dusit Niyato, Ping Wang
ICCAD
2010
IEEE
158views Hardware» more  ICCAD 2010»
14 years 10 months ago
Novel binary linear programming for high performance clock mesh synthesis
Clock mesh is popular in high performance VLSI design because it is more robust against variations than clock tree at a cost of higher power consumption. In this paper, we propose ...
Minsik Cho, David Z. Pan, Ruchir Puri
ICOODB
2010
171views Database» more  ICOODB 2010»
14 years 10 months ago
Data Model Driven Implementation of Web Cooperation Systems with Tricia
Abstract. We present the data modeling concepts of Tricia, an opensource Java platform used to implement enterprise web information systems as well as social software solutions inc...
Thomas Büchner, Florian Matthes, Christian Ne...
124
Voted
IDEAL
2010
Springer
14 years 10 months ago
An Efficient Approach to Clustering Real-Estate Listings
World Wide Web (WWW) is a vast source of information, the problem of information overload is more acute than ever. Due to noise in WWW, it is becoming hard to find usable informati...
Maciej Grzenda, Deepak Thukral
« Prev « First page 1140 / 1283 Last » Next »