Sciweavers

1195 search results - page 75 / 239
» New constructions of SSPDs and their applications
Sort
View
AMAST
2004
Springer
15 years 10 months ago
A Language for Configuring Multi-level Specifications
Abstract. This paper shows how systems can be built from their component parts with specified sharing. Its principle contribution is a modular language for configuring systems. A c...
Gillian Hill, Steven Vickers
LREC
2008
220views Education» more  LREC 2008»
15 years 7 months ago
Introducing DRS (The Digital Replay System): a Tool for the Future of Corpus Linguistic Research and Analysis
This paper outlines the new resource technologies, products and applications that have been constructed during the development of a multi-modal (MM hereafter) corpus tool on the D...
Dawn Knight, Paul Tennent
AUTOMATICA
2007
70views more  AUTOMATICA 2007»
15 years 6 months ago
Squaring the circle: An algorithm for generating polyhedral invariant sets from ellipsoidal ones
This paper presents a new (geometrical) approach to the computation of polyhedral (robustly) positively invariant (PI) sets for general (possibly discontinuous) nonlinear discrete...
A. Alessio, Mircea Lazar, Alberto Bemporad, W. P. ...
CGA
2005
15 years 6 months ago
Bounded Blending for Function-Based Shape Modeling
We propose new analytical formulations of bounded blending operations for the function-based constructive shape modeling. The blending set operations are defined using R-functions...
Galina Pasko, Alexander A. Pasko, Tosiyasu L. Kuni...
JOT
2007
100views more  JOT 2007»
15 years 6 months ago
Software Design Metrics for Object-Oriented Software
The importance of software measurement is increasing leading to development of new measurement techniques. As the development of object-oriented software is rising, more and more ...
K. K. Aggarwal, Yogesh Singh, Arvinder Kaur, Ruchi...