1750 search results - page 144 / 350 » E-Commerce Development Procedure |
124
click to vote
ICALT
2003
IEEE
15 years 10 months ago
2003
IEEE
Since the approval of IEEE LOM Draft Standard and the advance of network-driven learning technology, a large number of resource database constructors, content developers and learn...
137
click to vote
ICDAR
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper a study of some structural features of handwritten letter ‘a’ is presented. The features under consideration are structural, style and formation features documen...
147
Voted
VR
2003
IEEE
15 years 10 months ago
2003
IEEE
Bone dissection is an important component of many surgical procedures. In this paper, we discuss adaptive techniques for providing real-time haptic and visual feedback during a vi...
144
click to vote
CAV
2003
Springer
15 years 10 months ago
2003
Springer
Many verification problems reduce to proving the validity of formulas involving both propositional connectives and domain-specific functions and predicates. This paper presents ...
142
click to vote
CONCUR
2003
Springer
15 years 10 months ago
2003
Springer
We propose an algorithm for generating a Priority Rewrite System (PRS) for an arbitrary process language in the OSOS format such that rewriting of process terms is sound for bisim...