2954 search results - page 122 / 591 » Beyond |
141
click to vote
WLP
2007
Springer
16 years 4 days ago
2007
Springer
This paper presents the Kiel Curry System (KiCS) for the lazy functional logic language Curry. Its main features beyond other Curry implementations are: flexible search control by...
147
click to vote
RAID
2004
Springer
15 years 11 months ago
2004
Springer
The detection of unknown viruses is beyond the capability of many existing virus detection approaches. In this paper, we show how proactive customization of system behaviors can be...
125
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
The control in multi-strategy proof planning goes beyond the control in other automated theorem proving approaches: not only the selection of the inference and the facts for the n...
122
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We introduce Petruchio, a tool for computing Petri net translations of dynamic networks. To cater for unbounded architectures beyond the capabilities of existing implementations, t...
162
click to vote
ECAI
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We describe a text summarization system that moves beyond standard approaches by using a hybrid approach of linguistic and statistical analysis and by employing text-sort...