2335 search results - page 360 / 467 » Type Checking Type Classes |
132
click to vote
ISORC
2008
IEEE
15 years 8 months ago
2008
IEEE
Java, as a safe and platform independent language, avoids access to low-level I/O devices or direct memory access. In standard Java, low-level I/O it not a concern; it is handled ...
105
click to vote
TPHOL
2008
IEEE
15 years 8 months ago
2008
IEEE
When reasoning about inductively defined predicates, such as typing judgements or reduction relations, proofs are often done by inversion, that is by a case analysis on the last r...
115
click to vote
ACISICIS
2007
IEEE
15 years 8 months ago
2007
IEEE
ORN Additive is a prototype tool that was developed to show how the gap between database modeling and implementation can be reduced—more specifically, to show how associations d...
115
click to vote
ACSC
2007
IEEE
15 years 8 months ago
2007
IEEE
Statistical learning methods are commonly applied in content-based video and image retrieval. Such methods require a large number of examples which are usually obtained through a ...
108
click to vote
CEC
2007
IEEE
15 years 8 months ago
2007
IEEE
— One of the main tasks software testing involves is the generation of the test cases to be used during the test. Due to its expensive cost, the automation of this task has becom...