Sciweavers

HPDC
2010
IEEE
14 years 18 days ago
A hybrid Markov chain model for workload on parallel computers
This paper proposes a comprehensive modeling architecture for workloads on parallel computers using Markov chains in combination with state dependent empirical distribution functi...
Anne Krampe, Joachim Lepping, Wiebke Sieben
FMICS
2010
Springer
14 years 19 days ago
Model Checking the FlexRay Physical Layer Protocol
Abstract. The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern ...
Michael Gerke 0002, Rüdiger Ehlers, Bernd Fin...
DAWAK
2010
Springer
14 years 19 days ago
A Model-Driven Heuristic Approach for Detecting Multidimensional Facts in Relational Data Sources
Facts are multidimensional concepts of primary interests for knowledge workers because they are related to events occurring dynamically in an organization. Normally, these concepts...
Andrea Carmè, Jose-Norberto Mazón, S...
CHI
2009
ACM
14 years 19 days ago
A performance model of selection techniques for p300-based brain-computer interfaces
In this paper, we propose a model to predict the performance of selection techniques using Brain-Computer Interfaces based on P300 signals. This model is based on Markov theory an...
Jean-Baptiste Sauvan, Anatole Lécuyer, Fabi...
ASPDAC
2008
ACM
106views Hardware» more  ASPDAC 2008»
14 years 20 days ago
Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proof
—In this paper we describe a practical methodology to formally verify highly optimized, industrial multipliers. We a multiplier description language which abstracts from low-leve...
Udo Krautz, Markus Wedler, Wolfgang Kunz, Kai Webe...
AAAI
2010
14 years 20 days ago
A Two-Dimensional Topic-Aspect Model for Discovering Multi-Faceted Topics
This paper presents the Topic-Aspect Model (TAM), a Bayesian mixture model which jointly discovers topics and aspects. We broadly define an aspect of a document as a characteristi...
Michael Paul, Roxana Girju
IJCAI
1989
14 years 21 days ago
On Cooperation in a Multi-Entity Model
The problem of modeling a variety of domains within the framework of one general scheme is of central importance in AI. This paper presents the MultiEntity model for multi-agent p...
Moshe Tennenholtz, Yoram Moses
COLING
1992
14 years 21 days ago
A Three-level Revision Model for Improving Japanese Bad-styled Expressions
This paper proposes a three-level revision model for improving badly-styled Japanese expressions, especially in the field of technical communication. The model is a mixture of the...
Yoshihiko Hayashi
AAAI
1990
14 years 21 days ago
Approximation Reformulations
Although computers are widely used to simulate complex physical systems, crafting the underlying models that enable computer analysis remains difficult. When a model is created fo...
Daniel S. Weld
AAAI
1992
14 years 21 days ago
Automated Model Selection Using Context-Dependent Behaviors
Effective problem-solving about complex engineered devices requires device models that are both adequate for the problem and computationally efficient . Producing such models requ...
P. Pandurang Nayak, Leo Joskowicz, Sanjaya Addanki