Sciweavers

2010 search results - page 325 / 402
» An analysis of research in computing disciplines
Sort
View
LICS
2003
IEEE
15 years 11 months ago
Model checking for probability and time: from theory to practice
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
Marta Z. Kwiatkowska
ECOOPW
2003
Springer
15 years 11 months ago
Modeling Variability for Object-Oriented Product Lines
The concept of a software product line is a promising approach for increasing planned reusability in industry. For planning future requirements, the integration of domain analysis ...
Matthias Riebisch, Detlef Streitferdt, Ilian Pasho...
HICSS
2002
IEEE
91views Biometrics» more  HICSS 2002»
15 years 11 months ago
Neuroimaging Studies Give New Insight to Mental Rotation
This paper summarizes the recent findings of mental rotation studies which use neuroimaging techniques. Though many results differed, almost all the reviewed studies concurred tha...
Wendy S. Ark
ICIC
2009
Springer
15 years 10 months ago
Dimension Reduction Using Semi-Supervised Locally Linear Embedding for Plant Leaf Classification
Plant has plenty use in foodstuff, medicine and industry, and is also vitally important for environmental protection. So, it is important and urgent to recognize and classify plant...
Shanwen Zhang, Kwok-Wing Chau
ICPR
2000
IEEE
15 years 10 months ago
Automatic Genre Identification for Content-Based Video Categorization
Thispaper presents a set of computationalfeatures originatingfrom our study of editing effects, motion, and color used in videos,for the task of automatic video categorization. Th...
Ba Tu Truong, Svetha Venkatesh, Chitra Dorai