Sciweavers

2251 search results - page 157 / 451
» Specification and Implementation Problems for C
Sort
View
69
Voted
NIPS
2004
15 years 5 months ago
The Variational Ising Classifier (VIC) Algorithm for Coherently Contaminated Data
There has been substantial progress in the past decade in the development of object classifiers for images, for example of faces, humans and vehicles. Here we address the problem ...
Oliver M. C. Williams, Andrew Blake, Roberto Cipol...
IJDSN
2008
81views more  IJDSN 2008»
15 years 3 months ago
A Flexible Stochastic Automaton-Based Algorithm for Network Self-Partitioning
This article proposes a flexible and distributed stochastic automaton-based network partitioning algorithm that is capable of finding the optimal k-way partition with respect to a...
Yan Wan, Sandip Roy, Ali Saberi, Bernard C. Lesieu...
WWW
2001
ACM
16 years 4 months ago
Combining RDF and XML schemas to enhance interoperability between metadata application profiles
The term "application profile" has recently become highly topical. Heery and Patel [1] define application profiles as metadata schemas which consist of metadata elements...
Jane Hunter, Carl Lagoze
OSDI
2002
ACM
16 years 4 months ago
CMC: A Pragmatic Approach to Model Checking Real Code
Many system errors do not emerge unless some intricate sequence of events occurs. In practice, this means that most systems have errors that only trigger after days or weeks of ex...
Madanlal Musuvathi, David Y. W. Park, Andy Chou, D...
ICASSP
2011
IEEE
14 years 7 months ago
Source localization using time difference of arrival within a sparse representation framework
The problem addressed is source localization via time-differenceof-arrival estimation in a multipath channel. Solving this localization problem typically implies cross-correlating...
Ciprian R. Comsa, Alexander M. Haimovich, Stuart C...