2687 search results - page 134 / 538 » On the Conversion between Number Systems |
192
click to vote
LWA
2007
15 years 8 months ago
2007
The emergence of collaborative tagging systems with their underlying flat and uncontrolled resource organization paradigm has led to a large number of research activities focussi...
150
click to vote
APAL
2007
15 years 7 months ago
2007
We give an exponential lower bound on number of proof-lines in intuitionistic propositional logic, IL, axiomatised in the usual Frege-style fashion; i.e., we give an example of IL...
152
click to vote
IPL
2002
15 years 6 months ago
2002
We study the problem of scheduling unit time tasks of two types on m parallel identical machines. For each type, given numbers of tasks are required to be completed by the specifi...
172
click to vote
EUROPAR
2003
Springer
16 years 9 hour ago
2003
Springer
Abstract. Distributed Virtual Environment systems have experienced a spectacular growth last years. One of the key issues in the design of scalable and costeffective DVE systems is...
170
click to vote
AAAI
1992
15 years 8 months ago
1992
The family of terminological representation systems has its roots in the representation system kl-one. Since the development of kl-one more than a dozen similar representation sys...