18209 search results - page 319 / 3642 » Some Remarks on the Paper |
162
Voted
ICAT
2007
IEEE
16 years 1 months ago
2007
IEEE
My research is concerned with ‘explorable virtual worlds’, usually those that are ‘artworks’, dealing with aesthetic and affective domains. Whilst developing theoretical e...
131
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
—Computation of the undetected error probability for error correcting codes over the Z-channel is an important issue, explored only in part in previous literature. In this paper ...
155
click to vote
IDEAS
2007
IEEE
16 years 1 months ago
2007
IEEE
A foreign superkey in relational database theory is a set of attributes referring to a superkey of some relation variable. In this paper, the notion of constant references is intr...
146
click to vote
AB
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. This paper surveys the field of automated reasoning, giving some historical background and outlining a few of the main current research themes. We particularly emphasize...
170
click to vote
ATVA
2007
Springer
16 years 28 days ago
2007
Springer
This paper focuses on using beam search, a heuristic search algorithm, for pruning state spaces while generating. The original beam search is adapted to the state space generation ...