10038 search results - page 1575 / 2008 » Model Checking for Managers |
131
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
At present, we have proceeded to extend SQL into a new language called dmFSQL (data mining Fuzzy Structured Query Language) which can be used to solve real problems of Data Mining...
170
Voted
ICDIM
2007
IEEE
16 years 1 months ago
2007
IEEE
: This paper proposes a context-aware security service providing multiple authentications and authorization from a Security Level which is decided dynamically in a context-aware en...
162
Voted
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Automation of transportation systems and promotion of the operations are becoming an international demand on seaport container terminals. For this issue, we propose an ...
126
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
—In this paper we propose the progressive clamping method to better model the kinematic anisotropy of joint limits for virtual mannequins or robots. Like recent approaches our me...
181
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
-- In interconnect-dominated designs, the ability to minimize layout-induced parasitic effects is crucial for rapid design closure. Deep sub-micron effects and ubiquitous interfere...