2335 search results - page 260 / 467 » Type Checking Type Classes |
104
Voted
IANDC
2006
15 years 20 days 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...
ISCI
2008
15 years 20 days 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...
103
click to vote
JNW
2008
15 years 19 days 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 ...
KI
2008
Springer
15 years 19 days 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...
101
Voted
NN
2006
Springer
15 years 18 days ago
2006
Springer
Modular model is a particular type of committee machine and is comprised of a set of specialized (local) models each of which is responsible for a particular region of the input s...