Sciweavers

9810 search results - page 300 / 1962
» Problems, Descriptions and Objects
Sort
View
AO
2007
80views more  AO 2007»
15 years 6 months ago
Problems in the ontology of computer programs
As a first step in the larger project of charting the ontology of computer programs, we pose three central questions: (1) Can programs, hardware, and metaprograms be organized into...
Amnon H. Eden, Raymond Turner
CVGIP
2000
124views more  CVGIP 2000»
15 years 6 months ago
Hierarchical Solutions for the Deformable Surface Problem in Visualization
In this paper we present a hierarchical approach for the deformable surface technique. This technique is a three dimensional extension of the snake segmentation method. We use it ...
Christoph Lürig, Leif Kobbelt, Thomas Ertl
ICST
2009
IEEE
16 years 27 days ago
Optimizing Probabilities of Real-Time Test Case Execution
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
Nicolás Wolovick, Pedro R. D'Argenio, Hongy...
IWCIA
2009
Springer
16 years 24 days ago
Signatures of Combinatorial Maps
Abstract. In this paper, we address the problem of computing a canonical representation of an n-dimensional combinatorial map. To do so, we define two combinatorial map signatures...
Stéphane Gosselin, Guillaume Damiand, Chris...
OOPSLA
2007
Springer
16 years 11 days ago
The design and implementation of formal monitoring techniques
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
Eric Bodden