8486 search results - page 1322 / 1698 » Ordered Enumeration Method |
175
click to vote
CHARME
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
151
click to vote
CIARP
2005
Springer
16 years 11 days ago
2005
Springer
The Chagas disease or Tripanosomiasis Americana affects between 16 and 18 million people in endemic areas. This disease affects the beating rate of infected patients’ cardiomyocy...
188
click to vote
CIKM
2005
Springer
16 years 11 days ago
2005
Springer
The method of assigning labels to the nodes of the XML tree is called a labeling scheme. Based on the labels only, both ordered and un-ordered queries can be processed without acc...
165
click to vote
CIVR
2005
Springer
16 years 11 days ago
2005
Springer
Matching people based on their imaged face is hard because of the well known problems of illumination, pose, size and expression variation. Indeed these variations can exceed those...
159
click to vote
COLT
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. There has been growing interest in practice in using unlabeled data together with labeled data in machine learning, and a number of different approaches have been develo...