1143 search results - page 162 / 229 » Mental models of recursion |
89
Voted
LICS
2005
IEEE
15 years 6 months ago
2005
IEEE
Metric Temporal Logic (MTL) is a prominent specification formalism for real-time systems. In this paper, we show that the satisfiability problem for MTL over finite timed words...
85
Voted
KCAP
2005
ACM
15 years 6 months ago
2005
ACM
Among the variety of alignment approaches (e.g., using machine learning, subsumption computation, formal concept analysis, etc.) similarity-based ones rely on a quantitative asses...
90
Voted
AIED
2005
Springer
15 years 6 months ago
2005
Springer
Learning Object Metadata (LOM) intends to facilitate the retrieval and reuse of learning material. However, the fastidious task of authoring them limits their use. Motivated by thi...
111
Voted
MLDM
2005
Springer
15 years 6 months ago
2005
Springer
In this paper we describe a new cluster model which is based on the concept of linear manifolds. The method identifies subsets of the data which are embedded in arbitrary oriented...
83
Voted
PATMOS
2005
Springer
15 years 6 months ago
2005
Springer
Early circuit performance estimation and easy-to-apply methods for minimum-delay gate sizing are needed, in order to enhance circuit’s performance and to increase designers’ pr...