1784 search results - page 331 / 357 » Visualization of the Learning Process Using Concept Mapping |
CAV
1998
Springer
13 years 12 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
ICDE
2010
IEEE
13 years 11 months ago
2010
IEEE
Modern science is collecting massive amounts of data from sensors, instruments, and through computer simulation. It is widely believed that analysis of this data will hold the key ...
LREC
2008
13 years 9 months ago
2008
ProPOSEL is a prototype prosody and PoS (part-of-speech) English lexicon for Language Engineering, derived from the following language resources: the computer-usable dictionary CU...
IJCV
2008
13 years 7 months ago
2008
Multi-class image segmentation has made significant advances in recent years through the combination of local and global features. One important type of global feature is that of i...
IJON
2002
13 years 7 months ago
2002
Image content analysis has become an important issue in multimedia processing. Region-based image retrieval systems attempt to reduce the gap between high-level semantics and low-l...