1828 search results - page 239 / 366 » First-Class Type Classes |
186
click to vote
IJBRA
2008
15 years 6 months ago
2008
A large number of biological pathways have been assembled in later years, and are being stored in databases. Hence, the need for methods to analyse these pathways has emerged. One ...
161
click to vote
IANDC
2006
15 years 6 months ago
2006
We propose a modular approach to defining notions of simulation, and modal logics which characterise them. We use coalgebras to model state-based systems, relators to define notio...
157
click to vote
ISCI
2008
15 years 6 months ago
2008
Multiview intelligent data analysis explores data from different perspectives to reveal various types of structures and knowledge embedded in the data. Each view may capture a spe...
161
click to vote
JNW
2008
15 years 6 months ago
2008
This paper provides an overview of the technologies used in smart classrooms for distance education by classifying smart classrooms into four categories and discussing the type of ...
156
click to vote
KI
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Collective phenomena and their associated movement patterns are ubiquitous in everyday life. However, even though we need to be able to reason about these phenomena, espe...