Sciweavers

77016 search results - page 278 / 15404
» Modeling Modeling
Sort
View
CAV
2010
Springer
179views Hardware» more  CAV 2010»
15 years 10 months ago
Generating Litmus Tests for Contrasting Memory Consistency Models
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin
MODELS
2009
Springer
16 years 1 months ago
Towards Composite Model Transformations Using Distributed Graph Transformation Concepts
Model-based development of highly complex software systems leads to large models. Storing them in repositories offers the possibility to work with these models in a distributed env...
Stefan Jurack, Gabriele Taentzer
ICMCS
2008
IEEE
142views Multimedia» more  ICMCS 2008»
16 years 1 months ago
Community coordinated multimedia: Converging content-driven and service-driven models
Human experience is being extended and enhanced by collaboratively consuming electronic and networked content and multimedia-intensive services. This technical phenomenon is addre...
Jiehan Zhou, Mika Rautiainen, Mika Ylianttila
TREC
2003
15 years 8 months ago
A Language Modeling Approach to Passage Question Answering
This paper reports our efforts on developing a language modeling approach to passage question answering. In particular, we address the following two problems: (i) generalized lang...
Dell Zhang, Wee Sun Lee
IJCNN
2000
IEEE
15 years 11 months ago
Probabilistic Neural Network Models for Sequential Data
It has already been shown how Artificial Neural Networks (ANNs) can be incorporated into probabilistic models. In this paper we review some of the approaches which have been prop...
Yoshua Bengio
« Prev « First page 278 / 15404 Last » Next »