2519 search results - page 352 / 504 » Reasoning with Textual Cases |
164
click to vote
ICWS
2009
IEEE
16 years 3 months ago
2009
IEEE
Websites serve content both through Web Services as well as through user-viewable webpages. While the consumers of web-services are typically ‘machines’, webpages are meant fo...
139
click to vote
ICCD
2004
IEEE
16 years 3 months ago
2004
IEEE
Formal and dynamic (simulation, emulation, etc.) verification techniques are both needed to deal with the overall challenge of verification. Ideally, the same specification/tes...
239
click to vote
ACHI
2010
IEEE
16 years 1 months ago
2010
IEEE
—In this paper, we summarize the initial results with regard to the question to what extent driving simulators can be used to serve as cheap and easy realizable environments for ...
189
click to vote
CCS
2010
ACM
16 years 1 months ago
2010
ACM
In distributed environments, statements from a number of principals, besides the central trusted party, may influence the derivations of authorization decisions. However, existin...
184
click to vote
IPSN
2010
Springer
16 years 1 months ago
2010
Springer
This paper develops algorithms to train linear support vector machines (SVMs) when training data are distributed across different nodes and their communication to a centralized no...