501 search results - page 5 / 101 » Diagram Techniques for Confluence |
SODA
2003
ACM
13 years 11 months ago
2003
ACM
This work examines algebraic techniques for comparing quadratic algebraic numbers, thus yielding methods for deciding key predicates in various geometric constructions. Our motiva...
SEC
2001
13 years 11 months ago
2001
There is a strong demand for techniques to aid development and modelling of security critical systems. Based on general security evaluation criteria, we show how to extend the syst...
IIE
2008
13 years 9 months ago
2008
Abstract. Learning Objects (LOs) play a key role for supporting eLearning. In general, however, the development of LOs remains a vague issue, because there is still no clearly defi...
ESWS
2007
Springer
14 years 1 months ago
2007
Springer
We propose to design and study new techniques for description logic (DL) reasoning based on a prominent data structure that has been applied very successfully in various domains in...
ICPR
2002
IEEE
14 years 11 months ago
2002
IEEE