4902 search results - page 720 / 981 » Structures, Semantics and Statistics |
186
click to vote
LICS
2010
IEEE
15 years 4 months ago
2010
IEEE
—We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of alge...
181
click to vote
OTM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We propose a virtual teacher for the evaluation of students’ competencies. It aims to improve learning by making personalized suggestions on the learning materials. It ...
126
click to vote
PVLDB
2010
15 years 4 months ago
2010
We demonstrate an efficient LINQ to SQL provider and its significant impact on the runtime performance of LINQ programs that process large data volumes. This alternative provider...
158
click to vote
SIGMETRICS
2010
ACM
15 years 4 months ago
2010
ACM
Dynamic voltage and frequency scaling (DVFS) is a wellknown technique for gaining energy savings on desktop and laptop computers. However, its use in server settings requires care...
165
click to vote
ACL
2009
15 years 4 months ago
2009
This paper presents a novel metric-based framework for the task of automatic taxonomy induction. The framework incrementally clusters terms based on ontology metric, a score indic...