5630 search results - page 125 / 1126 » Computability in Specification |
126
click to vote
HYBRID
1992
Springer
15 years 7 months ago
1992
Springer
This paper demonstrates how the extended duration calculus [4] can be used to support the approach to documentation of computer systems presented by in [1]. This approach uses the ...
154
click to vote
LWA
2008
2008
Computational Intelligence for Communication and Cooperation Guidance in Adaptive E-Learning Systems
15 years 5 months ago
Adaptivity has become a prominent research topic during the past decades. There is a variety of application areas where adaptation can add benefit to systems, reaching from shoppi...
136
click to vote
SWAP
2008
15 years 5 months ago
2008
Dynamic composition of web services requires an automated step of contracting, i.e., the computation of a possibly fruitful interaction between two (or more) services, based on the...
132
click to vote
CSREAEEE
2006
15 years 5 months ago
2006
Abstract--In distance teaching, direct feedback to the students is difficult to give, but crucial for their learning success. The system Asterix was developed in order to support t...
141
click to vote
ESANN
2001
15 years 5 months ago
2001
In 1992 neurophysiologists [5] found an new type of cells in areas V1 and V2 of the monkey primary visual cortex, which they called grating cells. These cells respond vigorously to...