7009 search results - page 1166 / 1402 » Patterns in Complex Systems Modeling |
154
click to vote
ECTEL
2007
Springer
16 years 23 days ago
2007
Springer
Indicators help actors to organise, orientate and navigate through complex environments by providing contextual information relevant for the performance of learning tasks. In this ...
159
click to vote
IEEESCC
2006
IEEE
16 years 19 days ago
2006
IEEE
A virtual organization (VO) is a dynamic collection of entities (individuals, enterprises, and information resources) collaborating on some computational activity. VOs are an emer...
203
click to vote
HASKELL
2005
ACM
16 years 4 days ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
177
click to vote
ADAEUROPE
2005
Springer
16 years 4 days ago
2005
Springer
This paper describes the design and implementation of GNAT Pro for ERC32, a flexible cross-development environment supporting the Ravenscar tasking model on top of bare ERC32 comp...
220
click to vote
IJCNLP
2005
Springer
16 years 3 days ago
2005
Springer
Research on linear text segmentation has been an on-going focus in NLP for the last decade, and it has great potential for a wide range of applications such as document summarizati...