626 search results - page 119 / 126 » When Can Formal Methods Make a Real Difference |
158
click to vote
JMLR
2002
15 years 3 months ago
2002
A central problem in learning is selection of an appropriate model. This is typically done by estimating the unknown generalization errors of a set of models to be selected from a...
137
click to vote
ICIW
2009
IEEE
15 years 10 months ago
2009
IEEE
BitTorrent and Practical Network Coding are efficient methods for sharing files in a peer-to-peer network. Both face the problem to distribute a given file using peers with dif...
151
Voted
FLAIRS
2007
15 years 5 months ago
2007
The linguistic theory of Applicative and Cognitive Grammar analyses the language in three levels as follows: the linguistic level, the predicative level, and the semanticocognitiv...
220
click to vote
SIGMOD
2009
ACM
16 years 3 months ago
2009
ACM
This paper addresses the problem of monitoring the k nearest neighbors to a dynamically changing path in road networks. Given a destination where a user is going to, this new quer...
129
Voted
AINA
2008
IEEE
15 years 9 months ago
2008
IEEE
Wireless Sensor Networks (WSN) have specific constraints and stringent requirements in contrast to traditional wired and wireless computer networks. Among these specific requireme...