7118 search results - page 1202 / 1424 » Electrical and Computer Engineering |
122
click to vote
AIED
2005
Springer
15 years 9 months ago
2005
Springer
Abstract: The problem of modeling and assessing an individual’s ability level is central to learning environments. Numerous approaches exists to this end. Computer Adaptive Testi...
149
click to vote
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. To cope with the ever increasing diversity of markup languages, programming languages, tool kits and interface development environments, conceptual modeling of user inter...
126
click to vote
ESA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Modern computer graphics systems are able to render sophisticated 3D scenes consisting of millions of polygons. For most camera positions only a small collection of these...
111
click to vote
EUROPAR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Accurately modeling and predicting performance for largescale applications becomes increasingly difficult as system complexity scales dramatically. Analytic predictive mo...
117
click to vote
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...