17505 search results - page 226 / 3501 » Use Cases as Workflows |
192
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
169
click to vote
FLAIRS
2007
15 years 9 months ago
2007
This paper investigates the use of the case-based reasoning methodology applied to the game of Texas hold’em. The development of a CASe-based Poker playER (CASPER) is discussed....
176
click to vote
COLING
2008
15 years 8 months ago
2008
We determine the subjectivity of word senses. To avoid costly annotation, we evaluate how useful existing resources established in opinion mining are for this task. We show that r...
208
click to vote
WOA
2010
15 years 4 months ago
2010
This paper reports on three notable examples of the use of multi-agent systems in the Italian Industry. First, we introduce the topic and we outline some examples of real-world age...
205
click to vote
IADIS
2009
15 years 4 months ago
2009
In this paper we present our evaluations of using an Information Retrieval library in a commercial employment website with over 300,000 searches a day. Comparison of existing rela...