Sciweavers

1690 search results - page 135 / 338
» Algorithmic Properties of Millstream Systems
Sort
View
IWSOC
2005
IEEE
151views Hardware» more  IWSOC 2005»
15 years 10 months ago
A Low Area and Low Power Programmable Baseband Processor Architecture
A fully programmable radio baseband processor architecture is presented. The architecture is based on a DSP processor core and a number flexible accelerators, connected via a con...
Eric Tell, Anders Nilsson, Dake Liu
DGCI
2005
Springer
15 years 10 months ago
Shape Preserving Digitization of Binary Images After Blurring
Topology is a fundamental property of shapes in pictures. Since the input for any image analysis algorithm is a digital image, which does not need to have the same topological char...
Peer Stelldinger, Ullrich Köthe
ER
2005
Springer
153views Database» more  ER 2005»
15 years 10 months ago
Automatically Grounding Semantically-Enriched Conceptual Models to Concrete Web Services
Abstract. The paper provides a conceptual framework for designing and executing business processes using semantic Web services. We envision a world in which a designer defines a ...
Eran Toch, Avigdor Gal, Dov Dori
SAT
2005
Springer
162views Hardware» more  SAT 2005»
15 years 10 months ago
Heuristics for Fast Exact Model Counting
An important extension of satisfiability testing is model-counting, a task that corresponds to problems such as probabilistic reasoning and computing the permanent of a Boolean ma...
Tian Sang, Paul Beame, Henry A. Kautz
ICPP
2003
IEEE
15 years 9 months ago
Distributed Page Ranking in Structured P2P Networks
This paper discusses the techniques of performing distributed page ranking on top of structured peer-to-peer networks. Distributed page ranking are needed because the size of the ...
Shuming Shi, Jin Yu, Guangwen Yang, Dingxing Wang