279 search results - page 28 / 56 » Testing for Refinement in CSP |
142
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: Supervised learning for classification of cancer employs a set of design examples to learn how to discriminate between tumors. In practice it is crucial to confirm tha...
167
Voted
MOBIHOC
2005
ACM
16 years 3 months ago
2005
ACM
Determining node and event locations is a canonical task for many wireless network applications. Yet dedicated infrastructure for determining position information is expensive, en...
130
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: Experimentally determined protein structures may contain errors and require validation. Conformational criteria based on the Ramachandran plot are mainly used to disti...
153
Voted
COMPSAC
2011
IEEE
14 years 3 months ago
2011
IEEE
— This paper discusses ongoing research into the development of an original composition portfolio themed on the concept of palimpsests of time and place. The research involves th...
142
Voted
ASM
2010
ASM
15 years 6 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...