1306 search results - page 235 / 262 » A Diagrammatic Approach to Model Completion |
176
click to vote
AMOST
2007
ACM
15 years 10 months ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
166
click to vote
GCB
2009
Springer
15 years 10 months ago
2009
Springer
Abstract: It is often challenging to reconstruct accurately a complete dynamic biological network due to the scarcity of data collected in cost-effective experiments. This paper ad...
186
click to vote
AISB
2008
Springer
15 years 8 months ago
2008
Springer
According to the traditional conception of the mind, semantical content is perhaps the most important feature distinguishing mental from non-mental systems. And this traditional co...
162
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper presents the extension of an existing mimimally supervised rule acquisition method for relation extraction by coreference resolution (CR). To this end, a novel...
186
click to vote
IJCAI
2001
15 years 7 months ago
2001
Much excitement has been generated by the success of stochastic local search procedures at finding solutions to large, very hard satisfiability problems. Many of the problems on wh...