Sciweavers

4029 search results - page 581 / 806
» Reconfigurable Systems in Education
Sort
View
CORR
2011
Springer
172views Education» more  CORR 2011»
15 years 2 months ago
Improving Strategies via SMT Solving
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widenin...
Thomas Martin Gawlitza, David Monniaux
CORR
2011
Springer
172views Education» more  CORR 2011»
15 years 2 months ago
SafeVchat: Detecting Obscene Content and Misbehaving Users in Online Video Chat Services
Online video chat services such as Chatroulette, Omegle, and vChatter that randomly match pairs of users in video chat sessions are fast becoming very popular, with over a million...
Xinyu Xing, Yu-Li Liang, Hanqiang Cheng, Jianxun D...
CORR
2011
Springer
273views Education» more  CORR 2011»
15 years 2 months ago
Natural Language Processing (almost) from Scratch
We propose a unified neural network architecture and learning algorithm that can be applied to various natural language processing tasks including: part-of-speech tagging, chunki...
Ronan Collobert, Jason Weston, Léon Bottou,...
CORR
2011
Springer
151views Education» more  CORR 2011»
15 years 2 months ago
Sparsity Enhanced Decision Feedback Equalization
For single-carrier systems with frequency domain equalization, decision feedback equalization (DFE) performs better than linear equalization and has much lower computational compl...
Jovana Ilic, Thomas Strohmer
CORR
2011
Springer
182views Education» more  CORR 2011»
15 years 2 months ago
Cyber-Physical Attacks in Power Networks: Models, Fundamental Limitations and Monitor Design
— Future power networks will be characterized by safe and reliable functionality against physical malfunctions and cyber attacks. This paper proposes a unified framework and adv...
Fabio Pasqualetti, Florian Dörfler, Francesco...