1412 search results - page 143 / 283 » types 2004 |
152
click to vote
CASCON
2004
15 years 7 months ago
2004
We report on initial experiments in tree locking schemes for compiled database applications. Such applications have a repository style of architecture in which a collection of sof...
175
click to vote
CIC
2004
15 years 7 months ago
2004
Abstract--The types of lexicons necessary for Transparent Intensional Logic (TIL) logical analysis will be described. We will show the algorithm for analysing the TIL verbal object...
123
click to vote
CIIT
2004
15 years 7 months ago
2004
This paper presents a detailed account of a novel scheme for finding profit optimal BFWA networks, extending an existing network optimisation tool, and using the principles of eme...
181
click to vote
CLIMA
2004
15 years 7 months ago
2004
In this paper we propose a formal specification of a persuasion protocol between autonomous agents using an approach based on social commitments and arguments. In order to be flexi...
156
click to vote
CATS
2006
15 years 7 months ago
2006
Some combinatorial generation problems can be broken into subproblems for which loopless algorithms already exist. We discuss means by which loopless algorithms can be fused to pr...