1264 search results - page 98 / 253 » Towards Theory Translation |
177
click to vote
ESCIENCE
2006
IEEE
15 years 9 months ago
2006
IEEE
Instruments and sensors are the primary sources of data driving science and the development and refinement of theory. A critical component of eresearch yet to be clarified is the ...
163
click to vote
CSFW
2000
IEEE
15 years 9 months ago
2000
IEEE
Schneider's work on rank functions [14] provides a formal approach to verification of certain properties of a security protocol. However, he illustrates the approach only wit...
166
click to vote
IADIS
2004
15 years 7 months ago
2004
This paper proposes a pedagogical framework for informal language learning services via interactive television. We argue that mapping current language learning theories onto learn...
146
click to vote
ECIS
2003
15 years 7 months ago
2003
Relationship analysis aims at supporting the eliciting and documenting of potential relationship structures of an application domain by providing analysts with a systematic techni...
162
click to vote
WOA
2003
15 years 7 months ago
2003
Abstract—This paper illustrates how the functionalities of monitoring/control systems, within an agent–based framework, can be improved by the adoption of Knowledge–Based tec...