1750 search results - page 61 / 350 » E-Commerce Development Procedure |
125
Voted
CADE
2006
Springer
16 years 3 months ago
2006
Springer
This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for the well known SHOIQ description logic, with additi...
101
click to vote
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
A modelling procedure consists of a sequence of modelling tasks. With the increasing size of models during the development, the relations among modelling objects and their correspo...
210
click to vote
ICMCS
2008
IEEE
15 years 10 months ago
2008
IEEE
Recently, advanced video processing systems have been developed for numerous applications, such as surveillance, tracking, monitoring, object and event detection. The large size o...
128
click to vote
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
— Beating heart procedures promise significant health benefits to patients but the fast motion of the heart poses a serious challenge to the surgeon. Robotic motion synchroniza...
118
Voted
DATE
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper we introduce a new algorithm for model order reduction in the presence of parameter or process variation. Our analysis is performed using a graph interpretation of t...