3233 search results - page 366 / 647 » Validation Method for Intelligent Systems |
156
Voted
NPAR
2004
ACM
15 years 10 months ago
2004
ACM
Using eye tracking, we study the way viewers look at photos and image based NPR illustrations. Viewers examine the same number of locations in photos and in NPR images with unifor...
135
click to vote
UML
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...
120
click to vote
WISA
2004
Springer
15 years 10 months ago
2004
Springer
In distributed component environment, a Role-Based Access Control (RBAC) server manages all authorization policies of components in the same domains whereas the components are dist...
141
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
In field environments it is not usually possible to provide robotic systems with valid geometric models of the task and environment. The robot or robot teams will need to create t...
133
click to vote
CODES
1994
IEEE
15 years 9 months ago
1994
IEEE
We present an experimental framework for mapping declarative programs, written in a language known as Ruby, into various combinations of hardware and software. Strategies for para...