10568 search results - page 524 / 2114 » Computer Intelligence and Formalization |
176
click to vote
AIED
2005
Springer
15 years 11 months ago
2005
Springer
An important but often neglected aspect in Computer Supported Collaborative Learning is the intelligent formation of learning groups. Until recently, support for group formation wa...
175
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
This paper discusses generating document structure from annotated media repositories in a domain-independent manner. This approaches the vision of a universal RDF browser. We star...
201
click to vote
DMSN
2009
ACM
16 years 23 days ago
2009
ACM
Networked, distributed real world sensing is an increasingly prominent topic in computing and has quickly expanded from resource constrained “sensor networks” measuring simple...
163
click to vote
ASM
2010
ASM
16 years 3 months ago
2010
ASM
Abstract. The aim of this paper is to gradually introduce formalism in the requirement engineering phase in order to facilitate its validation. We analyze and elicit our requiremen...
115
click to vote
TLDI
2009
ACM
16 years 3 months ago
2009
ACM
Syntax Arthur Baars Doaitse Swierstra Technical Report UU-CS-2008-021 July 2008 Department of Information and Computing Sciences Utrecht University, Utrecht, The Netherlands www.cs...