4231 search results - page 648 / 847 » Using Language More Responsibly |
138
click to vote
CMSB
2006
Springer
15 years 7 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
197
click to vote
ICAS
2008
IEEE
15 years 10 months ago
2008
IEEE
A Multi-target user interface is composed of a series of interconnected variations of the same user interfaces, but tailored for different targets or different contexts of use. Wh...
119
click to vote
CP
2007
Springer
15 years 10 months ago
2007
Springer
We present an algorithm for compressing table constraints representing allowed or disallowed tuples. This type of constraint is used for example in configuration problems, where t...
115
click to vote
AIED
2005
Springer
15 years 9 months ago
2005
Springer
: In this paper we present two computational approaches that can be used characterize and measure online threaded discussions and demonstrate that they can objectively validate stu...
135
click to vote
EGOV
2004
Springer
15 years 9 months ago
2004
Springer
This paper describes an architecture which can be used to access geographic information from mobile devices with limited display and processing characteristics, such as Personal Di...