Sciweavers

4949 search results - page 659 / 990
» Consistency and Set Intersection
Sort
View
ISVLSI
2007
IEEE
160views VLSI» more  ISVLSI 2007»
16 years 1 months ago
On the Limitations of Power Macromodeling Techniques
Although RTL power macromodeling is a mature research topic, it is not yet broadly accepted in the industrial environment. One of the main reasons impairing its widespread use as ...
Felipe Klein, Guido Araujo, Rodolfo Azevedo, Rober...
LICS
2007
IEEE
16 years 1 months ago
Alternation-free modal mu-calculus for data trees
d abstract) Marcin Jurdzi´nski and Ranko Lazi´c∗ Department of Computer Science, University of Warwick, UK An alternation-free modal µ-calculus over data trees is introduced ...
Marcin Jurdzinski, Ranko Lazic
170
Voted
MMM
2007
Springer
114views Multimedia» more  MMM 2007»
16 years 1 months ago
Mining Multiple Visual Appearances of Semantics for Image Annotation
This paper investigates the problem of learning the visual semantics of keyword categories for automatic image annotation. Supervised learning algorithms which learn only a single ...
Hung-Khoon Tan, Chong-Wah Ngo
MOBIQUITOUS
2007
IEEE
16 years 1 months ago
Towards Scalable and Robust Service Discovery in Ubiquitous Computing Environments via Multi-hop Clustering
Abstract— Large-scale ubiquitous computing environments require scalable and robust service discovery to enable “anytime, anywhere” computing, which is hard to be satisfied ...
Wei Gao
RTAS
2007
IEEE
16 years 1 months ago
Soft Real-Time Scheduling on Performance Asymmetric Multicore Platforms
This paper discusses an approach for supporting soft realtime periodic tasks in Linux on performance asymmetric multicore platforms (AMPs). Such architectures consist of a large n...
John M. Calandrino, Dan P. Baumberger, Tong Li, Sc...