1775 search results - page 121 / 355 » Antichains on Three Levels |
AH
2000
Springer
15 years 6 months ago
2000
Springer
: The Adaptive Courseware Environment (ACE) is a WWW-based tutoring framework which combines methods of knowledge representation, instructional planning, and adaptive media generat...
108
click to vote
CHI
1994
ACM
15 years 5 months ago
1994
ACM
When working with large data sets, users perform three primary types of activities: data manipulation, data analysis, and data visualization. The data manipulation process involve...
125
Voted
ICCS
1994
Springer
15 years 5 months ago
1994
Springer
This paper gives a data structure (UDS) for supporting database retrieval, inference and machine learning that attempts to unify and extend previous work in relational databases, ...
106
click to vote
IFIP
1989
Springer
15 years 5 months ago
1989
Springer
‘‘Industrial strength’’ software development environments (SDEs) must provide facilities to address three essential properties of multi-developer software systems: evoluti...
123
click to vote
GLVLSI
2007
IEEE
15 years 5 months ago
2007
IEEE
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...