Sciweavers

3084 search results - page 489 / 617
» Learning to Take Actions
Sort
View
IFM
2009
Springer
124views Formal Methods» more  IFM 2009»
15 years 4 months ago
Dynamic Path Reduction for Software Model Checking
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under verification. DPR is a very general...
Zijiang Yang, Bashar Al-Rawi, Karem Sakallah, Xiao...
GLOBECOM
2008
IEEE
15 years 4 months ago
Distributed Regression in Sensor Networks with a Reduced-Order Kernel Model
Abstract—Over the past few years, wireless sensor networks received tremendous attention for monitoring physical phenomena, such as the temperature field in a given region. Appl...
Paul Honeine, Mehdi Essoloh, Cédric Richard...
91
Voted
ICPR
2008
IEEE
15 years 4 months ago
Semi-supervised marginal discriminant analysis based on QR decomposition
In this paper, a novel subspace learning method, semi-supervised marginal discriminant analysis (SMDA), is proposed for classification. SMDA aims at maintaining the intrinsic neig...
Rui Xiao, Pengfei Shi
IEEEARES
2008
IEEE
15 years 4 months ago
Intensive Programme on Information and Communication Security
IT Security is a problem that can only be addressed and taught holistically. Just as broad as the field of ICT itself, IT Security is an integral part of all network and software ...
Christian Schläger, Ludwig Fuchs, Günthe...
ICALT
2007
IEEE
15 years 4 months ago
Towards a Canonical View of Peer Assessment
Peer Assessment (or Peer Review) is a popular form of reciprocal assessment where students produce feedback, or grades, for each others work. Peer Assessment activities can be ext...
David E. Millard, Karen Fill, Lester Gilbert, Yvon...