1837 search results - page 48 / 368 » Abstraction and the C Machine Model |
CIKM
2009
Springer
14 years 3 months ago
2009
Springer
Despite the widespread use of BM25, there have been few studies examining its effectiveness on a document description over single and multiple field combinations. We determine t...
IJCNN
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— Almost all learning machines used in computational intelligence are not regular but singular statistical models, because they are nonidentifiable and their Fisher info...
SAT
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Restart strategies are an important factor in the performance of conflict-driven Davis Putnam style SAT solvers. Selecting a good restart strategy for a problem instance...
ICFEM
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. UML 2.0, which is the standard modeling language for objectoriented systems, has only an informally given semantics. This is in particular the case for UML 2.0 state mach...
FORTE
1998
13 years 10 months ago
1998
Abstract: We present a new algorithm for automatic test generation for multicast routing. Our algorithm processes a nite state machine (FSM) model of the protocol and uses a mix of...