784 search results - page 122 / 157 » The logic of tasks |
IEEEICCI
2003
IEEE
15 years 5 months ago
2003
IEEE
Abstract— An ontology is a formal language adequately representing the knowledge used for reasoning in a specific environment. When contradictions arise and make ontologies inad...
109
click to vote
KCAP
2003
ACM
15 years 5 months ago
2003
ACM
While existing learning techniques can be viewed as inducing programs from examples, most research has focused on rather narrow classes of programs, e.g., decision trees or logic ...
113
click to vote
CCS
2003
ACM
15 years 5 months ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
112
click to vote
DNA
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Self-assembly is a process in which basic units aggregate under attractive forces to form larger compound structures. Recent theoretical work has shown that pseudo-crysta...
101
click to vote
EUROCAST
2003
Springer
15 years 5 months ago
2003
Springer
This paper explores the computational capacity of a novel local computational model that expands the conventional analogical and logical dynamic neural models, based on the charge ...