796 search results - page 74 / 160 » A Formalization of ODMG Queries |
182
Voted
APN
2010
Springer
15 years 4 months ago
2010
Springer
Workflow mining is the task of automatically producing a workflow model from a set of event logs recording sequences of workflow events; each sequence corresponds to a use case or ...
177
click to vote
SIGIR
2011
ACM
14 years 9 months ago
2011
ACM
Searching is inherently an interactive process usually requiring numerous iterations of querying and assessing in order to find the desired amount of relevant information. Essent...
203
Voted
TACAS
2012
Springer
14 years 1 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
166
click to vote
JAIR
2007
15 years 6 months ago
2007
Numerous formalisms and dedicated algorithms have been designed in the last decades to model and solve decision making problems. Some formalisms, such as constraint networks, can ...
164
Voted
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Through the Internet and the World-Wide Web, a vast number of information sources has become available, which offer information on various subjects by different providers, often i...