2935 search results - page 448 / 587 » An Integrated Approach to High Integrity Software Verificati... |
188
click to vote
ICML
2009
IEEE
16 years 26 days ago
2009
IEEE
Merchants selling products on the Web often ask their customers to share their opinions and hands-on experiences on products they have purchased. As e-commerce is becoming more an...
153
click to vote
SEMWEB
2009
Springer
16 years 18 days ago
2009
Springer
Abstract. To direct automated Web service composition, it is compelling to provide a template, workflow or scaffolding that dictates the ways in which services can be composed. I...
175
click to vote
ACHI
2008
IEEE
16 years 17 days ago
2008
IEEE
Computers have been widely deployed to our daily lives, but human-computer interaction still lacks intuition. Researchers intend to resolve these shortcomings by augmenting tradit...
159
click to vote
DATE
2007
IEEE
16 years 12 days ago
2007
IEEE
Abstract— Modern integrated radio systems require highly linear analog/RF circuits. Two-tone simulations are commonly used to study a circuit’s nonlinear behavior. Very often, ...
166
click to vote
ISWC
2006
IEEE
16 years 2 days ago
2006
IEEE
Activity Recognition has gained a lot of interest in recent years due to its potential and usefulness for context-aware wearable computing. However, most approaches for activity r...