Sciweavers

3311 search results - page 482 / 663
» Deductive Object Programming
Sort
View
106
Voted
IWC
2000
94views more  IWC 2000»
15 years 2 months ago
Design and evaluation of the alignment stick
Object alignment is one of the basic operations in drawing programs. Current solutions provide mainly three ways for carrying out this operation: either by issuing an alignment co...
Roope Raisamo, Kari-Jouko Räihä
103
Voted
ANSOFT
1999
74views more  ANSOFT 1999»
15 years 2 months ago
On Coping with Real-Time Software Dynamic Inconsistency by Built-in Tests
In real-time systems, dynamic inconsistencies of software are hardly detected, diagnosed and handled. A built-in test (BIT) method is developed to cope with software dynamic incon...
Yingxu Wang, Graham King, Dilip Patel, Shushma Pat...
JOOP
1998
86views more  JOOP 1998»
15 years 2 months ago
Prelude to a Theory of Void
A set of rules to ascertain that in calls of the form x.f (...) there will always be an object attached to x. 1 PURPOSE The theory developed in this article investigates void call...
Bertrand Meyer
EUROMED
2010
15 years 1 months ago
Modeling Procedural Knowledge: A Generative Modeler for Cultural Heritage
Within the last few years generative modeling techniques have gained attention especially in the context of cultural heritage. As a generative model describes a rather ideal object...
Christoph Schinko, Martin Strobl, Torsten Ullrich,...
107
Voted
MP
2010
94views more  MP 2010»
15 years 29 days ago
MIR closures of polyhedral sets
We study the mixed-integer rounding (MIR) closures of polyhedral sets. The MIR closure of a polyhedral set is equal to its split closure and the associated separation problem is N...
Sanjeeb Dash, Oktay Günlük, Andrea Lodi