1632 search results - page 188 / 327 » On special numberings of hypergraphs |
143
click to vote
MOBIQUITOUS
2005
IEEE
16 years 2 days ago
2005
IEEE
Applications designed for ubiquitous computing environments need to be coded in a specific way in order to fully realize the benefits of ubiquitous computing. Currently, applicati...
213
click to vote
RTSS
2005
IEEE
16 years 1 days ago
2005
IEEE
Abstract— Dynamic voltage scaling (DVS) is a promising technique for battery-powered systems to conserve energy consumption. Most existing DVS algorithms assume information about...
179
click to vote
SCCC
2005
IEEE
16 years 1 days ago
2005
IEEE
We present a contribution on dynamic load balancing for distributed and parallel object-oriented applications. We specially target on peer to peer systems and its capability to di...
166
click to vote
ACMSE
2005
ACM
16 years 1 days ago
2005
ACM
Hidden Markov Model (HMM) based applications are common in various areas, but the incorporation of HMM's for anomaly detection is still in its infancy. This paper aims at cla...
200
click to vote
HASKELL
2005
ACM
16 years 1 days ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...