3255 search results - page 504 / 651 » Combination of Abstractions in the ASTR |
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract— A design scheme of the finite-time tracking controller is given for a general class of nonholonomic systems including extended chained systems, extended power systems,...
ICPR
2010
IEEE
14 years 1 months ago
2010
IEEE
Abstract--This paper extends the transition method for binarization based on transition pixels, a generalization of edge pixels. This method originally computes transition threshol...
ECTEL
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. The following article presents a Mash-Up Personal Learning Environment called ReMashed that recommends learning resources from emerging information of a Learning Network....
DLOG
2007
14 years 14 days ago
2007
Abstract. To make ABox reasoning scalable for large ABoxes in description logic (DL) knowledge bases, we develop a method for partitioning the ABox so that specific kinds of reaso...
WSC
2007
14 years 14 days ago
2007
Using models in different contexts poses major integration challenges, ranging from technical to conceptual levels. Independently of each other developed model components cannot b...