Sciweavers

4163 search results - page 686 / 833
» A comprehensive combination framework
Sort
View
AAAI
2007
15 years 8 months ago
A Text-to-Picture Synthesis System for Augmenting Communication
We present a novel Text-to-Picture system that synthesizes a picture from general, unrestricted natural language text. The process is analogous to Text-to-Speech synthesis, but wi...
Xiaojin Zhu, Andrew B. Goldberg, Mohamed Eldawy, C...
FLAIRS
2008
15 years 8 months ago
Conditional and Composite Constraints with Preferences
Preferences in constraint problems are common but significant in many real world applications. In this paper, we extend our conditional and composite CSP (CCCSP) framework, managi...
Malek Mouhoub, Amrudee Sukpan
NSDI
2007
15 years 8 months ago
WiDS Checker: Combating Bugs in Distributed Systems
Despite many efforts, the predominant practice of debugging a distributed system is still printf-based log mining, which is both tedious and error-prone. In this paper, we present...
Xuezheng Liu, Wei Lin, Aimin Pan, Zheng Zhang
WSC
2007
15 years 8 months ago
How to synthesize nets from languages: a survey
In this paper we present a survey on methods for the synthesis of Petri nets from behavioral descriptions given as languages. We consider place/transition Petri nets, elementary P...
Robert Lorenz, Sebastian Mauser, Gabriel Juh&aacut...
WSC
2007
15 years 8 months ago
Visual exploration and evaluation of climate-related simulation data
Large, heterogeneous volumes of simulation data are calculated and stored in many disciplines, e.g. in climate and climate impact research. To gain insight, current climate analys...
Thomas Nocke, Michael Flechsig, Uwe Böhm