7890 search results - page 1421 / 1578 » The MathSAT 3 System |
161
click to vote
SIGUCCS
2003
ACM
15 years 10 months ago
2003
ACM
The revolution in life sciences research brought about by the sequencing of the human genome creates new challenges for scientists and new opportunities for computing support orga...
125
Voted
ACISP
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We explore three applications of geometric sequences in constructing cryptographic Boolean functions. First, we construct 1-resilient functions of n Boolean variables wit...
143
click to vote
AI
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. This paper overviews our currently in progress agent communication language simulator, called DIAGAL, by describing its use in analyzing and modelling automated conversat...
129
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
Making it easier to design interactions between agents and humans is essential for realizing multi-agent simulations of social phenomena such as group dynamics. To realize large-s...
147
click to vote
CIKM
2003
Springer
15 years 10 months ago
2003
Springer
In this paper, we describe a graphical workflow management system called HyperThesis to address the challenges of integrating bioinformatics applications. HyperThesis is an integ...