1451 search results - page 199 / 291 » Case Studies in Model Manipulation for Scientific Computing |
175
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
This paper presents a semantic portal, SEMPort, which provides better user support with personalized views, semantic navigation, ontology-based search and three different kinds of...
152
click to vote
COCOON
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. We investigate the computing power of stateless multicounter machines with reversal-bounded counters. Such a machine can be deterministic, nondeterministic, realtime (the...
169
click to vote
ECWEB
2007
Springer
16 years 15 days ago
2007
Springer
Service matchmaking is the process of finding appropriate services for a given set of requirements. We present a novel service matchmaking approach based on the internal process o...
179
click to vote
IROS
2006
IEEE
16 years 10 days ago
2006
IEEE
Abstract— In this paper, the coupling between Jacobian learning and task sequencing through the redundancy approach is studied. It is well known that visual servoing is robust to...
195
click to vote
LICS
2005
IEEE
15 years 12 months ago
2005
IEEE
Games played on graphs may have qualitative objectives, such as the satisfaction of an ω-regular property, or quantitative objectives, such as the optimization of a realvalued re...