4770 search results - page 249 / 954 » Flexible Type Analysis |
174
click to vote
ICMCS
2005
IEEE
16 years 25 days ago
2005
IEEE
This paper presents our latest work on identifying frame content types for understanding learning media content. In particular, we categorize frames into six classes namely, slide...
184
click to vote
TSD
2001
Springer
15 years 11 months ago
2001
Springer
Two kinds of systems have been defined during the long history of WSD: principled systems that define which knowledge types are useful for WSD, and robust systems that use the info...
196
click to vote
CCS
1998
ACM
15 years 11 months ago
1998
ACM
This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise su...
196
click to vote
COSIT
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. Although maps and partitions are ubiquitous in geographical information systems and spatial databases, there is only little work investigating their foundations. We give ...
186
click to vote
BILDMED
2009
15 years 8 months ago
2009
Abstract. The discrimination of benign and malignant types of mammographic masses is a major challenge for radiologists. The classic eigenfaces method was recently adapted for the ...