1456 search results - page 3 / 292 » Two Techniques to Improve Finite Model Search |
ECIR
2009
Springer
14 years 2 months ago
2009
Springer
In this paper we address the task of finding topically relevant email messages in public discussion lists. We make two important observations. First, email messages are not isolat...
KBSE
2002
IEEE
13 years 10 months ago
2002
IEEE
Finite-state machine (FSM) models are commonly used to represent software with concurrent processes. Established model checking tools can be used to automatically test FSM models,...
CLEF
2005
Springer
13 years 10 months ago
2005
Springer
This year, we have participated on multilingual two years on and Multi-8 merging-only CLEF task. Our main interest has been to test several usual CLIR tasks and investigate how th...
ICC
2008
IEEE
13 years 11 months ago
2008
IEEE
—Dynamic spectrum access (DSA) is a promising approach for mitigating spectrum scarcity. Underlying DSA is the need for fast and reliable spectrum sensing over a potentially larg...
WSCG
2004
13 years 6 months ago
2004
This work was based on a previously developed methodology using shape modal description for matching image objects. With this methodology, the objects points were matched using a ...