5726 search results - page 767 / 1146 » Supporting annotations on relations |
158
click to vote
AML
1999
15 years 6 months ago
1999
The paper studies a domain theoretical notion of primitive recursion over partial sequences in the context of Scott domains. Based on a non-monotone coding of partial sequences, t...
190
click to vote
INFORMATICALT
1998
15 years 6 months ago
1998
This paper describes a method how to represent and build a reusable VHDL component. By that component we can, for example, describe a family of the relative VHDL models. To represe...
182
click to vote
INFSOF
1998
15 years 6 months ago
1998
This paper presents a logic based language, SAFIN, for developing networked software agents. It integrates agent-oriented programming, KQML and basic mobile techniques to support ...
217
click to vote
JMLR
2002
15 years 6 months ago
2002
Recently, sample complexity bounds have been derived for problems involving linear functions such as neural networks and support vector machines. In many of these theoretical stud...
164
click to vote
KBS
2002
15 years 6 months ago
2002
Cognitive cooperation is often neglected in current team software development processes. This issue becomes more important than ever when team members are globally distributed. Th...