1280 search results - page 198 / 256 » Soft Typing with Conditional Types |
AUTOMATICA
2006
13 years 9 months ago
2006
In this paper, optimal control of linear time-invariant (LTI) systems over unreliable communication links is studied. The motivation of the problem comes from growing applications...
COMCOM
2006
13 years 9 months ago
2006
Bluetooth is a new technology for Wireless Personal Area Networks (WPANs). It intends to eliminate the need of wires and connectors between a variety of devices, like PCs and thei...
CSL
2006
Springer
13 years 9 months ago
2006
Springer
Grammar induction, also known as grammar inference, is one of the most important research areas in the domain of natural language processing. Availability of large corpora has enc...
IJCSA
2008
13 years 9 months ago
2008
ADAPTAPlan project provides dynamic assistance for reducing authors' effort in developing instructional design tasks using user modelling, planning and machine learning techn...
CE
2007
13 years 9 months ago
2007
In Ôcontextual learning theoryÕ three types of contextual conditions (differentiation of learning procedures and materials, integrated ICT support, and improvement of developme...