1011 search results - page 102 / 203 » The three dimensions of proofs |
169
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
We analyze the notion of organizational structure in multiagent systems and explain the precise added value and the effects of such organizational structure on the involved agents...
171
click to vote
HIPEAC
2005
Springer
15 years 12 months ago
2005
Springer
In DRM domain, the adversary has complete control of the computing node - supervisory privileges along with full physical as well as architectural object observational capabilities...
158
click to vote
HUC
2005
Springer
15 years 12 months ago
2005
Springer
Ubiquitous computing technologies which are cheap and easy to use are more likely to be adopted by users beyond the ubiquitous computing community. We present an ultrasonic-only tr...
180
click to vote
ISAAC
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we study the k-means clustering problem. It is well-known that the general version of this problem is NP-hard. Numerous approximation algorithms have been proposed fo...
155
click to vote
JSAI
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents a proposal for the integration of information structure in a unification-based grammar of Danish. Three information structure features – topic, focus and bac...