Sciweavers

2620 search results - page 263 / 524
» Qualities in Possible Worlds
Sort
View
NGC
2006
Springer
102views Communications» more  NGC 2006»
15 years 6 months ago
Evaluation of Automatic Generation of Basic Stories
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...
Federico Peinado, Pablo Gervás
176
Voted
SIAMSC
2008
193views more  SIAMSC 2008»
15 years 6 months ago
Exact and Approximate Sparse Solutions of Underdetermined Linear Equations
Abstract. In this paper, we empirically investigate the NP-hard problem of finding sparsest solutions to linear equation systems, i.e., solutions with as few nonzeros as possible. ...
Sadegh Jokar, Marc E. Pfetsch
TAP
2008
Springer
144views Hardware» more  TAP 2008»
15 years 6 months ago
Integrating Verification and Testing of Object-Oriented Software
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
Christian Engel, Christoph Gladisch, Vladimir Kleb...
IJWBC
2007
99views more  IJWBC 2007»
15 years 6 months ago
Exploring mobile information systems for chronically ill adolescent patients
: Adolescent cancer patients have to deal with many dependencies and obligations. Very often they are torn out of their social environment and become isolated because of changing t...
Jan Marco Leimeister, Uta Franziska Knebel, Helmut...
KBS
2007
76views more  KBS 2007»
15 years 6 months ago
What middleware for network centric operations?
The main intent of this paper is to address the issue of middleware in network centric operations. To this end, we characterize a set of Information Technology capabilities that s...
Ali Benssam, Jean Berger, Abdeslem Boukhtouta, Mou...