1585 search results - page 31 / 317 » A framework for computer-aided validation |
115
click to vote
ICSOC
2005
Springer
15 years 5 months ago
2005
Springer
There have been significant efforts in providing semantic descriptions for Web services, including the approach as exemplified by OWLS. Part of the semantic description in OWL-S is...
103
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
We analyze the performance of TCP and TCP with network coding (TCP/NC) in lossy wireless networks. We build upon the simple framework introduced by Padhye et al. and characterize t...
JMLR
2008
14 years 11 months ago
2008
We propose a highly efficient framework for penalized likelihood kernel methods applied to multiclass models with a large, structured set of classes. As opposed to many previous a...
102
click to vote
ICDE
2011
IEEE
14 years 3 months ago
2011
IEEE
—An important facility to aid keyword search on XML data is suggesting alternative queries when user queries contain typographical errors. Query suggestion thus can improve users...
DAC
2010
ACM
15 years 3 months ago
2010
ACM
In this paper we summarize recent developments in compact dynamical modeling for both linear and nonlinear systems arising in analog applications. These techniques include methods...