3564 search results - page 408 / 713 » Evaluating a Formal Modelling Language |
109
click to vote
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
— To be acceptable to human drivers, the motion of an intelligent robotic wheelchair must be more than just collision-free: it must be graceful. We define graceful motion as bei...
172
click to vote
SEMWEB
2009
Springer
15 years 8 months ago
2009
Springer
Abstract—For many tasks, such as the integration of knowledge bases in the semantic web, one must not only handle the knowledge itself, but also characterizations of this knowled...
129
Voted
CPAIOR
2009
Springer
15 years 10 months ago
2009
Springer
An attractive mechanism to specify global constraints in rostering and other domains is via formal languages. For instance, the REGULAR and GRAMMAR constraints specify constraints ...
137
click to vote
RSEISP
2007
Springer
15 years 10 months 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...
118
click to vote
APLAS
2004
ACM
15 years 9 months ago
2004
ACM
In many occasions would one encounter the task of maintaining the consistency of two pieces of structured data that are related by some transform — synchronising bookmarks in di...