832 search results - page 83 / 167 » Characteristic Patterns for LTL |
105
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
The paper aims at presenting a method of controlling software quality attributes driven by the set of requirements. This is done in three steps: specifying all the requirements, ma...
134
Voted
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
With the proliferation of consumer computing devices with varied display and input characteristics, it has become desirable to develop interactive systems that are usable across m...
117
click to vote
CVPR
2000
IEEE
15 years 8 months ago
2000
IEEE
We have assembled a standalone, movable system that can capture long sequences of omnidirectional images (up to 1,500 images at 6.7 Hz and a resolution of 1140 × 1030). The goal ...
104
click to vote
ICPR
2000
IEEE
15 years 8 months ago
2000
IEEE
For many pattern recognition methods, high recognition accuracy is obtained at very high expense of computational cost. In this paper, a new algorithm that reduces the computation...
153
Voted
HCW
1998
IEEE
15 years 8 months ago
1998
IEEE
Java's remote method invocation mechanism provides a number of features that extend the functionality of traditional client server-based distributed systems. However, there a...