Sciweavers

1262 search results - page 68 / 253
» Generating instruction sets and microarchitectures from appl...
Sort
View
GRAPHICSINTERFACE
2003
13 years 10 months ago
Interactive Point-based Modeling of Complex Objects from Images
Modeling complex realistic objects is a difficult and time consuming process. Nevertheless, with improvements in rendering speed and quality, more and more applications require s...
Pierre Poulin, Marc Stamminger, François Du...
LAWEB
2003
IEEE
14 years 2 months ago
Extracting Knowledge from Association Relationships to Build Navigational Models
This paper analyzes how the semantics of association relationships in OO conceptual modeling can help to build Navigational Models for Web Applications. The work has been develope...
Manoli Albert, Vicente Pelechano, Joan Fons, Gonza...
CADE
2008
Springer
13 years 11 months ago
Aligator: A Mathematica Package for Invariant Generation (System Description)
We describe the new software package Aligator for automatically inferring polynomial loop invariants. The package combines algorithms from symbolic summation and polynomial algebra...
Laura Kovács
KBSE
2000
IEEE
14 years 1 months ago
Systematic Generation of Dependable Change Coordination Plans for Automated Switching of Coordination Policies
Distributed information systems for decision support and e-commerce applications require coordination of multiple autonomous components and their services to accomplish a set of g...
Prasanta K. Bose, Mark G. Matthews
EUSFLAT
2009
137views Fuzzy Logic» more  EUSFLAT 2009»
13 years 7 months ago
Novel Methods for the Design of General Type-2 Fuzzy Sets based on Device Characteristics and Linguistic Labels Surveys
Fuzzy Logic Systems are widely recognized to be successful at modelling uncertainty in a large variety of applications. While recently interval type-2 fuzzy logic has been credited...
Christian Wagner, Hani Hagras