1849 search results - page 328 / 370 » Intelligent Expressions of Emotions |
174
click to vote
LFCS
2007
Springer
16 years 20 hour ago
2007
Springer
Abstract. Balanced search trees provide guaranteed worst-case time performance and hence they form a very important class of data structures. However, the self-balancing ability co...
159
click to vote
LPAR
2007
Springer
16 years 20 hour ago
2007
Springer
In this paper we propose a nonmonotonic extension ALC + Tmin of the Description Logic ALC for reasoning about prototypical properties and inheritance with exception. The logic ALC ...
143
click to vote
LPAR
2007
Springer
16 years 20 hour ago
2007
Springer
Many analysis techniques and decidability results have been obtained for cryptographic protocols. However all of them consider protocols with limited procedures for the processing ...
166
click to vote
LPAR
2007
Springer
16 years 20 hour ago
2007
Springer
Sequence logic is a parameterized logic where the formulas are sequences of formulas of some arbitrary underlying logic. The sequence formulas are interpreted in certain linearly o...
185
click to vote
CIMCA
2005
IEEE
15 years 11 months ago
2005
IEEE
Owing to the increase in both heterogeneity and complexity in today’s networking systems, the need arises for an architecture for network-based services that provides flexibilit...