375 search results - page 11 / 75 » Implementation Alternatives for Bottom-Up Evaluation |
132
click to vote
NGC
2006
Springer
15 years 4 months ago
2006
Springer
Abstract This paper presents an application that automatically generates basic stories: short texts that only narrate the main events of the plot. The system operates with a repres...
251
click to vote
ENTCS
2002
15 years 3 months ago
2002
Elf is a general meta-language for the specification and implementation of logical systems in the style of the logical framework LF. Proof search in this framework is based on the...
149
click to vote
OTM
2010
Springer
15 years 2 months ago
2010
Springer
Making well-founded security investment decisions is hard: several alternatives may need to be considered, the alternatives’ space is often diffuse, and many decision parameters...
120
Voted
SPRINGSIM
2008
15 years 5 months ago
2008
Background: Implementation of medical interventions may vary with organization and available capacity. The influence of this source of variability on the cost-effectiveness can be...
151
Voted
ISORC
2007
IEEE
15 years 10 months ago
2007
IEEE
As quality of service (QoS)-enabled component middleware technologies gain widespread acceptance to build distributed real-time and embedded (DRE) systems, it becomes necessary fo...