1547 search results - page 242 / 310 » The Isabelle Collections Framework |
109
Voted
BDA
2001
15 years 2 months ago
2001
The growth of Internet technologies has unleashed a wave of innovations that are having tremendous impact on the way organisations interact with their partners and customers. It h...
94
Voted
ICMLA
2004
15 years 2 months ago
2004
Web-based educational technologies allow educators to study how students learn (descriptive studies) and which learning strategies are most effective (causal/predictive studies). ...
101
Voted
FORTE
2001
15 years 2 months ago
2001
The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
91
Voted
IJCAI
2003
15 years 2 months ago
2003
Multi-level spatial aggregates are important for data mining in a variety of scientific and engineering applications, from analysis of weather data (aggregating temperature and p...
100
click to vote
AAAI
1998
15 years 1 months ago
1998
Manyimportant physical phenomena,such as temperature distribution, air flow, and acoustic waves,are describedas continuous,distributed parameterfields. Analyzingandcontrolling the...