Sciweavers

1634 search results - page 195 / 327
» Classifying Technical Terms
Sort
View
ICASSP
2011
IEEE
14 years 10 months ago
Signal-based segmentation of human locomotion using embedded sensor network
We introduce a simple approach to segment in homogeneous phases a long-duration record of locomotion data consisting of body segment acceleration and foot pressure information onl...
Maud Pasquier, Bernard Espiau, Christine Azevedo-C...
AQUILEIA
2011
261views more  AQUILEIA 2011»
14 years 6 months ago
Sharing Data on the Aquileia Heritage: Proposals for a Research Project
Basic ideas are presented of a multi-national research project to share data about the Roman city of Aquileia employing the Information and Communication Technologies (ICT). A Cons...
Vito Roberto, Paolo Omero
AUSAI
2011
Springer
14 years 6 months ago
Image Feature Selection Based on Ant Colony Optimization
Image feature selection (FS) is an important task which can affect the performance of image classification and recognition. In this paper, we present a feature selection algorithm ...
Ling Chen, Bolun Chen, Yixin Chen
POPL
2008
ACM
16 years 6 months ago
Engineering formal metatheory
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
Arthur Charguéraud, Benjamin C. Pierce, Bri...
SOUPS
2009
ACM
16 years 27 days ago
Challenges in supporting end-user privacy and security management with social navigation
Social navigation is a promising approach for supporting privacy and security management. By aggregating and presenting the choices made by others, social navigation systems can p...
Jeremy Goecks, W. Keith Edwards, Elizabeth D. Myna...