Sciweavers

303 search results - page 18 / 61
» Improving conflict resolution in model versioning systems
Sort
View
ICMCS
2010
IEEE
186views Multimedia» more  ICMCS 2010»
14 years 10 months ago
Worthy visual content on mobile through interactive video streaming
This paper builds on an interactive streaming architecture that supports both user feedback interpretation, and temporal juxtaposition of multiple video bitstreams in a single str...
Ivan Alen Fernandez, Christophe De Vleeschouwer, F...
80
Voted
CAEPIA
2003
Springer
15 years 1 months ago
Employing TSK Fuzzy Models to Automate the Revision Stage of a CBR System
CBR systems are normally used to assist experts in the resolution of problems. During the last few years, researchers have been working in the development of techniques to automate...
Florentino Fernández Riverola, Juan M. Corc...
TACAS
1998
Springer
105views Algorithms» more  TACAS 1998»
15 years 1 months ago
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
Jørn Lind-Nielsen, Henrik Reif Andersen, Ge...
DKE
2007
115views more  DKE 2007»
14 years 9 months ago
An improved methodology on information distillation by mining program source code
This paper presents a methodology for knowledge acquisition from source code. We use data mining to support semiautomated software maintenance and comprehension and provide practi...
Yiannis Kanellopoulos, Christos Makris, Christos T...
WSC
2004
14 years 10 months ago
Stream Option Manager
Stream Option Manager (SOM) is a set of mathematical tools developed at The MITRE Corporation's Center for Advanced Aviation System Development (CAASD). While still under dev...
William P. Niedringhaus, Michael J. White, Patrick...