Sciweavers

9412 search results - page 202 / 1883
» An aspect-oriented generative approach
Sort
View
SAS
2005
Springer
132views Formal Methods» more  SAS 2005»
16 years 22 hour ago
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
Roberto Bagnara, Enric Rodríguez-Carbonell,...
CLEF
2004
Springer
15 years 12 months ago
From Text to Image: Generating Visual Query for Image Retrieval
In this paper, we explore the help of visual features to cross-language image retrieval. We propose an approach that transforms textual queries into visual representations. The re...
Wen-Cheng Lin, Yih-Chen Chang, Hsin-Hsi Chen
INLG
2004
Springer
15 years 12 months ago
Context-Based Incremental Generation for Dialogue
This paper describes an implemented model of context-based incremental tactical generation within the Dynamic Syntax framework [1] which directly reflects dialogue phenomena such ...
Matthew Purver, Ruth Kempson
ECBS
2010
IEEE
151views Hardware» more  ECBS 2010»
15 years 12 months ago
Generating Test Plans for Acceptance Tests from UML Activity Diagrams
The Unified Modeling Language (UML) is the standard to specify the structure and behaviour of software systems. The created models are a constitutive part of the software speci...
Andreas Heinecke, Tobias Brückmann, Tobias Gr...
ICAT
2003
IEEE
15 years 12 months ago
Motion Generation using Motion Mining System
In this paper, we present a method that generates a path that has no collision with the obstacles by using the environment information, and automatically creates natural motions o...
Seongmin Baek, Il-Kwon Jeong, In-Ho Lee