Sciweavers

2335 search results - page 226 / 467
» Type Checking Type Classes
Sort
View
GCSE
2001
Springer
14 years 3 months ago
Reflection Support by Means of Template Metaprogramming
Abstract. The C++ language has only a limited runtime type information system, which doesn’t provide full reflection capabilities. We present a general mechanism to support refle...
Giuseppe Attardi, Antonio Cisternino
SAC
1998
ACM
14 years 3 months ago
Off-line scheduling of a real-time system
This paper shows how a recently introduced class of applications can be solved by constraint programming. This new type of application is due to the emergence of special real-time...
Klaus Schild, Jörg Würtz
CGI
2009
IEEE
14 years 2 months ago
Visual analytics of time dependent 2D point clouds
Two dimensional point data can be considered one of the most basic, yet one of the most ubiquitous data types arising in a wide variety of applications. The basic scatter plot app...
Tatiana von Landesberger, Sebastian Bremm, Peyman ...
IADIS
2004
14 years 4 days ago
The Impact of Personality and Learning Styles on the Use of Laptop Computers in the Classroom
Past studies indicate that classes that utilize laptop technology in the classroom have higher scores on graded assignments than those who do not. Despite this finding, some stude...
Jamie Efaw, Jennifer Bailey
FSS
2008
113views more  FSS 2008»
13 years 10 months ago
Consistency measure, inclusion degree and fuzzy measure in decision tables
Classical consistency degree has some limitations for measuring the consistency of a decision table, in which the lower approximation of a target decision is only taken into consi...
Yuhua Qian, Jiye Liang, Chuangyin Dang