17129 search results - page 302 / 3426 » Applied Computing |
147
click to vote
GRC
2007
IEEE
16 years 29 days ago
2007
IEEE
— Granular computing unifies structured thinking, structured problem solving and structured information processing. In order to see the flexibility and universal applicability ...
182
click to vote
JVA
2006
IEEE
16 years 19 days ago
2006
IEEE
We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural ded...
164
click to vote
CIE
2005
Springer
16 years 5 days ago
2005
Springer
We promote the concept of object directed computability in computational geometry in order to faithfully generalise the wellestablished theory of computability for real numbers and...
180
click to vote
ICCS
2004
Springer
2004
Springer
Grid Computing and Component-Based Software Engineering in Computer Supported Collaborative Learning
16 years 4 hour ago
This paper presents our research efforts towards enabling the use of grid infrastructures for supporting Computer Supported Collaborative Learning (CSCL) applications developed acc...
160
Voted
CIE
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We show that the computational interpretation of full comprehension via two wellknown functional interpretations (dialectica and modified realizability) corresponds to t...