10916 search results - page 361 / 2184 » On Constructive Connectives and Systems |
217
click to vote
LPAR
2004
Springer
16 years 29 days ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
227
click to vote
ICCS
2001
Springer
16 years 1 days ago
2001
Springer
Abstract. In database marketing, the behavior of customers is analyzed by studying the transactions they have performed. In order to get a global picture of the behavior of a custo...
206
click to vote
ICPADS
1996
IEEE
15 years 11 months ago
1996
IEEE
A new multiagent programmingparadigm based on the transactional logic model' is developed. This paradigm enables us to construct a Distributed agent transactional program (DA...
183
click to vote
JMM2
2006
15 years 7 months ago
2006
Facial composites are pictures of human faces. These are normally constructed by victims and witnesses of crime who describe a suspect's face and then select individual facial...
220
click to vote
ENTCS
2007
15 years 7 months ago
2007
Documentation of knowledge about biological pathways is often informal and vague, making it difficult to efficiently synthesize the work of others into a holistic understanding of...