19587 search results - page 3572 / 3918 » Systems Engineering for software Engineers |
163
click to vote
AIED
2005
Springer
16 years 8 days ago
2005
Springer
In this paper, we present an ontology of educational theories their relation to learning design. This ontology takes into account learning design (LD) specifications such as OUNL-E...
176
click to vote
AIIA
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Adaptation is one of the most problematic steps in the design and development of Case Based Reasoning (CBR) systems, as it may require considerable domain knowledge and i...
169
click to vote
BIRTHDAY
2005
Springer
16 years 8 days ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
153
click to vote
CIKM
2005
Springer
16 years 8 days ago
2005
Springer
Maintaining strict static score order of inverted lists is a heuristic used by search engines to improve the quality of query results when the entire inverted lists cannot be proc...
137
click to vote
FM
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...