4480 search results - page 556 / 896 » Prototyping Completion with Constraints Using Computational ... |
164
click to vote
PLILP
1993
Springer
15 years 10 months ago
1993
Springer
Abstract. Solving equations in equational theories is a relevant programming paradigm which integrates logic and equational programming into one unified framework. Efficient metho...
178
click to vote
ALGORITHMICA
2006
15 years 6 months ago
2006
Phylogenetic analysis is an area of computational biology concerned with the reconstruction of evolutionary relationships between organisms, genes, and gene families. Maximum likel...
152
click to vote
ASPLOS
2012
ACM
14 years 2 months ago
2012
ACM
Emerging scale-out workloads require extensive amounts of computational resources. However, data centers using modern server hardware face physical constraints in space and power,...
148
click to vote
CHI
1997
ACM
15 years 11 months ago
1997
ACM
This paper presents the interface design of the WorldBeat system, an interactive exhibit about using computers in musical education, and as musical instruments. The system allows ...
160
click to vote
KDD
1998
ACM
15 years 11 months ago
1998
ACM
In this paper we discuss a data mining framework for constructing intrusion detection models. The key ideas are to mine system audit data for consistent and useful patterns of pro...