1980 search results - page 81 / 396 » On the Associative Nijenhuis Relation |
125
click to vote
ESCIENCE
2005
IEEE
15 years 7 months ago
2005
IEEE
Effective integration of heterogeneous data sources has been studied as the most pressing challenge in various fields; such as, high energy physics, astronomy, and life sciences. ...
AIED
2005
Springer
15 years 7 months ago
2005
Springer
We briefly introduce the online learning environment INFACT, and then we describe its textual feedback system. The system automatically provides written comments to students as the...
111
Voted
ARGMAS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. This paper presents a novel approach to modelling embedded agent dialogues. It proposes a specific structure for the supporting information accompanying the arguments th...
114
click to vote
MMMACNS
2005
Springer
15 years 7 months ago
2005
Springer
A new model for representing temporal access control policies is introduced. In this model, temporal authorizations are represented by time attributes associated with both subjects...
MICAI
2004
Springer
15 years 7 months ago
2004
Springer
We address the problem of integrating standard techniques for automatic invariant generation within the context of program reasoning. We propose the use of invariant patterns whic...