Sciweavers

23119 search results - page 68 / 4624
» From Domain to Requirements
Sort
View
EKAW
2006
Springer
15 years 1 months ago
From Natural Language to Formal Proof Goal
Guidelines (Extended abstract) Ruud Stegers1 , Annette ten Teije1 , and Frank van Harmelen1 Vrije Universiteit, Amsterdam The main problem encountered when starting verification of...
Ruud Stegers, Annette ten Teije, Frank van Harmele...
AAAI
2012
13 years 5 days ago
Learning from Demonstration for Goal-Driven Autonomy
Goal-driven autonomy (GDA) is a conceptual model for creating an autonomous agent that monitors a set of expectations during plan execution, detects when discrepancies occur, buil...
Ben George Weber, Michael Mateas, Arnav Jhala
ICSE
1998
IEEE-ACM
15 years 2 months ago
Extracting Concepts from File Names: A New File Clustering Criterion
Decomposing complex software systems into conceptually independent subsystems is a significant software engineering activity which received considerable research attention. Most o...
Nicolas Anquetil, Timothy Lethbridge
TCSV
2002
92views more  TCSV 2002»
14 years 9 months ago
Super-resolution still and video reconstruction from MPEG-coded video
There are a number of useful methods for creating high-quality video or still images from a lower quality video source. The best of these involve motion compensating a number of vi...
Yucel Altunbasak, Andrew J. Patti, Russell M. Mers...
VISSYM
2007
15 years 6 days ago
Sonar Explorer: A New Tool for Visualization of Fish Schools from 3D Sonar Data
We present a novel framework for analysis and visualization of fish schools in 3D sonar surveys. The 3D sonar technology is new and there have not been applications to visualize t...
Jean-Paul Balabanian, Ivan Viola, Egil Ona, Ruben ...