5290 search results - page 307 / 1058 » Knowledge Processing in Intelligent Systems |
184
click to vote
LICS
1999
IEEE
15 years 11 months ago
1999
IEEE
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantific...
172
click to vote
EUROMICRO
2002
IEEE
15 years 11 months ago
2002
IEEE
The initial steps in carrying out a feasibility analysis for a web project, based on information obtained interactively from a prospective client, are modelled as a rulebased expe...
168
click to vote
ISMB
1993
15 years 8 months ago
1993
Wesurvey and discuss issues required of intelligent systems to support research efforts in locus mapping. In particular wefocus on the issues of order, on howone can automate the ...
165
click to vote
ARGMAS
2008
Springer
15 years 8 months ago
2008
Springer
Practical reasoning (PR), which is concerned with the generic question of what to do, is generally seen as a two steps process: (1) deliberation, in which an agent decides what st...
138
click to vote
FLAIRS
2006
2006
Celerina - A Generative Music System Using Aesthetical Reduction Applied to Simple Cellular Automata
15 years 8 months ago
Celerina is the software core of a realtime system for dynamic music generation. Several one-dimensional binary cellular automata generate melodic patterns that are subsequently r...