1604 search results - page 199 / 321 » Development Separation in Lambda-Calculus |
105
Voted
SIES
2007
IEEE
15 years 6 months ago
2007
IEEE
— Though modern operating systems have a capable of controlling the power consumption using the DVFS (Dynamic Voltage and Frequency Scaling) mechanism, it is controlled for some ...
132
click to vote
ADAPTIVE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Data Mining, or Knowledge Discovery as it is also known, is becoming increasingly useful in a wide variety of applications. In the following paper, we look at its use in ...
94
Voted
APN
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We study the relationship between name creation and replication in a setting of infinitestate communicating automata. By name creation we mean the capacity of dynamicall...
81
Voted
CICLING
2007
Springer
15 years 6 months ago
2007
Springer
The need of having a Passage Retrieval (PR) system for Arabic texts is due essentially to our aim to build an Arabic Question Answering (QA) system in our research team. We have ch...
CSL
2007
Springer
15 years 6 months ago
2007
Springer
Existing definitions of the relativizations of NC1 , L and NL do not preserve the inclusions NC1 ⊆ L, NL ⊆ AC1 . We start by giving the first definitions that preserve them....