2016 search results - page 213 / 404 » Megamaps: Construction and Examples |
188
click to vote
RSEISP
2007
Springer
16 years 22 days ago
2007
Springer
The main objective of this paper is to provide a granular computing based interpretation of rules representing two levels of knowledge. This is done by adopting and adapting the de...
162
click to vote
GMP
2006
IEEE
16 years 20 days ago
2006
IEEE
Physical based and geometric based variational techniques for surface construction have been shown to be advanced methods for designing high quality surfaces in the fields of CAD ...
163
click to vote
WISE
2005
Springer
16 years 5 days ago
2005
Springer
By means of portals, a company can give each person the information that responds to their specific needs. Nowadays, portals tend to be constructed by means of portlets. So, if we...
159
click to vote
TACAS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We propose a novel algorithm for automata-based LTL model checking that interleaves the construction of the generalized B¨uchi automaton for the negation of the formula ...
178
click to vote
UML
2005
Springer
16 years 2 days ago
2005
Springer
This paper presents ATL (ATLAS Transformation Language): a hybrid model transformation language that allows both declarative and imperative constructs to be used in transformation ...