Sciweavers

503 search results - page 63 / 101
» Using The Same System For Analyzing And Synthesizing Sentenc...
Sort
View
73
Voted
ENTCS
2006
134views more  ENTCS 2006»
14 years 9 months ago
Anonymity in Probabilistic and Nondeterministic Systems
Anonymity means that the identity of the user performing a certain action is maintained secret. The protocols for ensuring anonymity often use random mechanisms which can be descr...
Catuscia Palamidessi
BMCBI
2010
195views more  BMCBI 2010»
14 years 4 months ago
MBAT: A scalable informatics system for unifying digital atlasing workflows
Background: Digital atlases provide a common semantic and spatial coordinate system that can be leveraged to compare, contrast, and correlate data from disparate sources. As the q...
Daren Lee, Seth Ruffins, Queenie Ng, Nikhil Sane, ...
GECCO
2004
Springer
179views Optimization» more  GECCO 2004»
15 years 3 months ago
An Evolutionary Meta Hierarchical Scheduler for the Linux Operating System
Abstract. The need for supporting CSCW applications with heterogeneous and varying user requirements calls for adaptive and reconfigurable schedulers accommodating a mixture of re...
Horst Wedde, Muddassar Farooq, Mario Lischka
92
Voted
ICALP
2009
Springer
15 years 10 months ago
LTL Path Checking Is Efficiently Parallelizable
We present an AC1 (logDCFL) algorithm for checking LTL formulas over finite paths, thus establishing that the problem can be efficiently parallelized. Our construction provides a f...
Lars Kuhtz, Bernd Finkbeiner
80
Voted
TCSV
2002
119views more  TCSV 2002»
14 years 9 months ago
VLSI architecture design of MPEG-4 shape coding
This paper presents an efficient VLSI architecture design of MPEG-4 shape coding, which is the key technology for supporting the content-based functionality of the MPEG-4 Video sta...
Hao-Chieh Chang, Yung-Chi Chang, Yi-Chu Wang, Wei-...