3907 search results - page 373 / 782 » Time, Knowledge, and Choice |
173
click to vote
JELIA
2004
Springer
16 years 6 days ago
2004
Springer
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...
187
click to vote
CSB
2003
IEEE
16 years 4 days ago
2003
IEEE
Cluster methods have been successfully applied in gene expression data analysis to address tumor classification. By grouping tissue samples into homogeneous subsets, more systema...
195
click to vote
HT
2003
ACM
16 years 3 days ago
2003
ACM
Generating hypermedia presentations requires processing constituent material into coherent, unified presentations. One large challenge is creating a generic process for producing ...
181
click to vote
PLDI
2003
ACM
16 years 3 days ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
158
click to vote
SIGUCCS
2003
ACM
16 years 3 days ago
2003
ACM
Before embarking upon a large web site project, whether creating a new site or just redesigning one, it is generally accepted practice not to begin work until all the problem spec...