400 search results - page 30 / 80 » Moving Proofs-As-Programs into Practice |
SODA
2004
ACM
13 years 9 months ago
2004
ACM
The inference of evolutionary trees using approaches which attempt to solve the maximum parsimony (MP) and maximum likelihood (ML) optimization problems is a standard part of much...
AIPS
2004
13 years 9 months ago
2004
Symbolic non-deterministic planning represents action effects as sets of possible next states. In this paper, we move toward a more probabilistic uncertainty model by distinguishi...
CASCON
2004
13 years 9 months ago
2004
There has been much debate over the past few years about the practice of moving traditional user-space applications, such as web servers, into the kernel for better performance. R...
MM
2006
ACM
14 years 1 months ago
2006
ACM
We present “equiveillance” as a conceptual framework for understanding the balance between surveillance and sousveillance. In addition to this conceptual framework we also pre...
TACS
2001
Springer
13 years 12 months ago
2001
Springer
The state of the practice in object-oriented software development has moved beyond reuse of code to reuse of conceptual structures such as design patterns. This paper draws attenti...