6020 search results - page 898 / 1204 » A New Approach to Model Counting |
189
click to vote
SOFTVIS
2003
ACM
15 years 12 months ago
2003
ACM
An active research area in telecommunications concerns how to specify and control the addition of new services, such as call waiting or instant messaging, into existing software. ...
179
click to vote
ICIAP
2003
ACM
15 years 11 months ago
2003
ACM
Principal component analyses (PCA) has been widely used in reduction of the dimensionality of datasets, classification, feature extraction, etc. It has been combined with many oth...
171
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
With the development of positioning technologies and the boosting deployment of inexpensive location-aware sensors, large volumes of trajectory data have emerged. However, efficie...
172
Voted
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
We describe a new theoretical framework for robot-aided training of arm movements. This framework is based on recent studies of motor adaptation in human subjects and on general c...
186
click to vote
ECCV
2000
Springer
15 years 11 months ago
2000
Springer
This paper presents a new method to find minimal paths in 3D images, giving as initial data one or two endpoints. This is based on previous work [1] for extracting paths in 2D ima...