3174 search results - page 15 / 635 » An Exploration of the Permanent-Determinant Method |
158
click to vote
ASPDAC
2006
ACM
15 years 12 months ago
2006
ACM
Abstract - this paper proposes the use of a high-level architecture exploration method for different MPEG4 video encoders using different customization parameters. The targeted arc...
159
click to vote
ECBS
2003
IEEE
15 years 11 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
154
click to vote
ICMAS
1998
15 years 7 months ago
1998
This work presents a lookahead-based exploration strategy for a model-based learning agent that enables exploration of the opponent's behavior during interaction in a multi-a...
155
click to vote
IVS
2007
15 years 5 months ago
2007
A semantic substrate is a spatial template for a network, where nodes are grouped into regions and laid out within each region according to one or more node attributes. This paper...
164
click to vote
BIBM
2008
IEEE
16 years 15 days ago
2008
IEEE
Alternative splicing is a mechanism for generating different gene transcripts (called isoforms) from the same genomic sequence. Finding alternative splicing events experimentally ...