2335 search results - page 324 / 467 » Type Checking Type Classes |
109
Voted
ITNG
2007
IEEE
15 years 7 months ago
2007
IEEE
Drawing on our previous work on survey and reporting tools that compare faculty expectations with what students report experiencing in class, this paper presents details of a new ...
98
Voted
AI
2007
Springer
15 years 7 months ago
2007
Springer
Agent competition and coordination are two classical and most important tasks in multiagent systems. In recent years, there was a number of learning algorithms proposed to resolve ...
96
Voted
DBPL
2007
Springer
15 years 7 months ago
2007
Springer
The widespread adoption of XML has led to programming languages that support XML as a first class construct. In this paper, we present a method for analyzing and optimizing impera...
98
Voted
ER
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We investigate the computational complexity of reasoning over various fragments of the Extended Entity-Relationship (EER) language, which includes a number of constructs:...
107
click to vote
ICWE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. To build high-quality personalized Web applications developers have to deal with a number of complex problems. We look at the growing class of personalized Web Applicatio...