Sciweavers

8486 search results - page 344 / 1698
» Ordered Enumeration Method
Sort
View
AUSAI
2006
Springer
15 years 10 months ago
Hardware Implementation of Temporal Nonmonotonic Logics
Abstract. In order to apply nonmonotonic logics for specifying industrial automation controllers, we define (1) a method to extend atemporal nonmonotonic logics with temporal opera...
Insu Song, Guido Governatori
DATE
2004
IEEE
108views Hardware» more  DATE 2004»
15 years 10 months ago
Poor Man's TBR: A Simple Model Reduction Scheme
This paper presents a model reduction algorithm motivated by a connection between frequency domain projection methods and approximation of truncated balanced realizations. The met...
Joel R. Phillips, Luis Miguel Silveira
CIA
2006
Springer
15 years 10 months ago
Evaluating Dynamic Services in Bioinformatics
Abstract. In dynamic applications characterised by a variety of alternative services with the same functionality but heterogeneous results, agents requesting services must find an ...
Maíra Ribeiro Rodrigues, Michael Luck
149
Voted
ENTER
2006
Springer
15 years 10 months ago
On the Significance of Tourism Website Evaluations
Website evaluation methods are an important tool to gather information for the development and the management of a website in order to ensure a good acceptance by the users. Mainl...
Magda Antonioli Corigliano, Rodolfo Baggio
SGP
2007
15 years 9 months ago
Constraint-based fairing of surface meshes
We propose a constraint-based method for the fairing of surface meshes. The main feature of our approach is that the resulting smoothed surface remains within a prescribed distanc...
Klaus Hildebrandt, Konrad Polthier