5128 search results - page 785 / 1026 » When Abstraction Fails |
163
click to vote
OWLED
2008
15 years 8 months ago
2008
Abstract. HermiT is a new OWL reasoner based on a novel "hypertableau" calculus. The new calculus addresses performance problems due to nondeterminism and model size--the...
170
click to vote
SCAI
2008
15 years 8 months ago
2008
Abstract. In the design of behavior-based control architectures for robots it is common to use biology as inspiration, and often the observed functionalities of insect behaviors ar...
139
click to vote
SEC
2008
15 years 8 months ago
2008
Abstract. In recent security architectures, it is possible that the security policy is not evaluated in a centralized way but requires negotiation between the subject who is reques...
203
click to vote
NETWORKING
2007
15 years 8 months ago
2007
Abstract. The topology creation is one of the most important step for the design of an overlay network. Traffic characteristic and volume, and behavior of nodes which can be sel...
162
click to vote
TAMODIA
2008
15 years 8 months ago
2008
Abstract. The analysis of usability aspects of multi-user systems, such as cooperative work systems and pervasive systems, pose particular problems because group behavior of their ...