5634 search results - page 736 / 1127 » About Abstract Classes |
193
click to vote
LFCS
2007
Springer
16 years 29 days 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...
173
click to vote
LPAR
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
187
click to vote
LPNMR
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. The recently proposed notion of an elementary set yielded a refinement of the theorem on loop formulas, telling us that the stable models of a disjunctive logic program ...
174
click to vote
MLDM
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. In the biometric field, different experts are combined to improve the system reliability, as in many application the performance attained by individual experts (i.e., d...
169
click to vote
MODELS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...