8486 search results - page 344 / 1698 » Ordered Enumeration Method |
143
click to vote
AUSAI
2006
Springer
15 years 8 months ago
2006
Springer
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...
129
Voted
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper presents a model reduction algorithm motivated by a connection between frequency domain projection methods and approximation of truncated balanced realizations. The met...
141
click to vote
CIA
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In dynamic applications characterised by a variety of alternative services with the same functionality but heterogeneous results, agents requesting services must find an ...
127
Voted
ENTER
2006
Springer
15 years 8 months ago
2006
Springer
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...
132
click to vote
SGP
2007
15 years 7 months ago
2007
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...