31387 search results - page 454 / 6278 » Abstracts |
214
click to vote
AMAI
2006
Springer
15 years 7 months ago
2006
Springer
We show that the concepts of strong and uniform equivalence of logic programs eneralized to an abstract algebraic setting of operators on complete lattices. Our results imply char...
184
click to vote
BIOINFORMATICS
2006
15 years 7 months ago
2006
ll Text][Abstract] , April 1, 2006; 7 (2): 198-212.Biostat. K. J. Archer, C. I. Dumur, S. E. Joel and V. Ramakrishnan mixed-effects models Assessing quality of hybridized RNA in Af...
182
click to vote
DT
2006
15 years 7 months ago
2006
gn: abstraction and reuse. The authors present an ESL design flow using the Gezel language. Using several very different design examples, they this design flow supports their case ...
163
click to vote
IEICET
2008
15 years 7 months ago
2008
In this paper, we suggest that all pairings be in a group from an abstract angle. According to our results, we can define some new pairings with short Miller loops and hence speed ...
153
click to vote
BMCBI
2007
15 years 7 months ago
2007
abstract Niels Landwehr1 , Taneli Mielik¨ainen2 , Lauri Eronen2 , Hannu Toivonen1,2 , and Heikki Mannila2 1 Machine Learning Lab, Dept. of Comp. Science, University of Freiburg, G...