9110 search results - page 1467 / 1822 » Formally-Based Design Evaluation |
180
click to vote
ECRA
2010
15 years 6 months ago
2010
Identifying consumer preferences is a key challenge in customizing electronic commerce sites to individual users. The increasing availability of online social networks provides on...
207
click to vote
ADHOC
2006
15 years 6 months ago
2006
Unidirectional links in an ad hoc network can result from factors such as heterogeneity of receiver and transmitter hardware, power control or topology control algorithms, or diff...
199
click to vote
AIEDU
2006
15 years 6 months ago
2006
Constructing a student model for language tutors is a challenging task. This paper describes using knowledge tracing to construct a student model of reading proficiency and validat...
170
click to vote
ENTCS
2008
15 years 6 months ago
2008
We describe some results inspired to Lafont's Soft Linear Logic (SLL) which is a subsystem of second-order linear logic with restricted rules for exponentials, correct and co...
199
click to vote
ESE
2008
15 years 6 months ago
2008
Literature on the topic of code cloning often asserts that duplicating code within a software system is a bad practice, that it causes harm to the system's design and should b...