Sciweavers

2348 search results - page 405 / 470
» A Fuzzy Description Logic
Sort
View
TOG
2008
100views more  TOG 2008»
14 years 9 months ago
Interactive procedural street modeling
This paper addresses the problem of interactively modeling large street networks. We introduce a modeling framework that uses tensor fields to guide the generation of a street gra...
Guoning Chen, Gregory Esch, Peter Wonka, Pascal M&...
JTAER
2007
123views more  JTAER 2007»
14 years 9 months ago
Business Model Scenarios for Remote Management
This article critically appraises business model challenges in implementing remote management functionalities. Remote management is believed to create new service opportunities an...
Olivier Braet, Pieter Ballon
COLING
2002
14 years 9 months ago
A Complete Integrated NLG System Using AI and NLU Tools
A standard architecture for an NLG system has been defined in (Reiter and Dale, 2000). Their work describes the modularization of an NLG system and the tasks of each module. Howev...
Laurence Danlos, Adil El Ghali
CORR
2002
Springer
115views Education» more  CORR 2002»
14 years 9 months ago
Linking Makinson and Kraus-Lehmann-Magidor preferential entailments
Abstract. Twelve years ago, various notions of preferential entailment have been introduced. The main reference is a paper by Kraus, Lehmann and Magidor (KLM), one of the main comp...
Yves Moinard
TCS
2002
14 years 9 months ago
Automatic verification of real-time systems with discrete probability distributions
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segal...