11345 search results - page 1675 / 2269 » Foundations of Computer Science |
174
click to vote
LICS
2007
IEEE
16 years 22 days ago
2007
IEEE
Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is ...
173
Voted
MUE
2007
IEEE
16 years 22 days ago
2007
IEEE
With the developments of related techniques in telecommunication and computer sciences, wireless sensor networks have been used more and more widely. While sensor nodes in wireles...
145
Voted
AIED
2007
Springer
16 years 19 days ago
2007
Springer
In this paper, we raise a methodological issue concerning the empirical analysis of tutoring dialogues: The frequencies of tutoring moves do not necessarily reveal their causal efï...
172
click to vote
CSCLP
2007
Springer
16 years 19 days ago
2007
Springer
The notion of optimality naturally arises in many areas of applied mathematics and computer science concerned with decision making. Here we consider this notion in the context of ...
159
click to vote
DIS
2007
Springer
16 years 19 days ago
2007
Springer
We present an interactive discovery support system, which for a given starting concept of interest, discovers new, potentially meaningful relations with other concepts that have no...