1988 search results - page 256 / 398 » Engineering formal metatheory |
179
click to vote
RTCSA
2005
IEEE
16 years 2 days ago
2005
IEEE
Context-aware middleware encompasses uniform ions and reliable services for common operations, supports for most of the tasks involved in dealing with context, and thus simplifyin...
146
click to vote
UIST
2005
ACM
16 years 2 days ago
2005
ACM
We present an evaluation of three mouse-based techniques for aligning digital images. We investigate the physical image alignment task and discuss the implications for interacting...
156
click to vote
AIED
2005
Springer
16 years 2 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...
172
click to vote
AIIA
2005
Springer
16 years 2 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...
159
click to vote
EMSOFT
2005
Springer
16 years 1 days ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...