7890 search results - page 1389 / 1578 » The MathSAT 3 System |
133
click to vote
PEPM
2007
ACM
15 years 11 months ago
2007
ACM
Having been convinced of the potential benefits of partial evaluation, we wanted to conduct some experiments in our favourite Computer Algebra System, Maple. Maple is a large lan...
119
click to vote
PERVASIVE
2007
Springer
15 years 11 months ago
2007
Springer
Ground reaction forces generated during normal walking have recently been used to identify and/or classify individuals based upon the pattern of the forces observed over time. One ...
133
click to vote
PERVASIVE
2007
Springer
15 years 11 months ago
2007
Springer
While commercial solutions for precise indoor positioning exist, they are costly and require installation of additional infrastructure, which limits opportunities for widespread ad...
154
click to vote
VLDB
2007
ACM
15 years 11 months ago
2007
ACM
Damia is a lightweight enterprise data integration service where line of business users can create and catalog high value data feeds for consumption by situational applications. D...
147
click to vote
ACSAC
2006
IEEE
15 years 11 months ago
2006
IEEE
We present NetSpy, a tool to automatically generate network-level signatures for spyware. NetSpy determines whether an untrusted program is spyware by correlating user input with ...