Sciweavers

10284 search results - page 344 / 2057
» Designing for nomadic work
Sort
View
ISSTA
2012
ACM
13 years 9 months ago
Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
Devin Coughlin, Bor-Yuh Evan Chang, Amer Diwan, Je...
CORR
2011
Springer
139views Education» more  CORR 2011»
15 years 1 months ago
Codeco: A Grammar Notation for Controlled Natural Language in Predictive Editors
Existing grammar frameworks do not work out particularly well for controlled natural languages (CNL), especially if they are to be used in predictive editors. I introduce in this p...
Tobias Kuhn
JMLR
2010
93views more  JMLR 2010»
15 years 1 months ago
Erratum: SGDQN is Less Careful than Expected
The SGD-QN algorithm described in (Bordes et al., 2009) contains a subtle flaw that prevents it from reaching its design goals. Yet the flawed SGD-QN algorithm has worked well eno...
Antoine Bordes, Léon Bottou, Patrick Gallin...
TCIAIG
2010
15 years 1 months ago
Controlled Procedural Terrain Generation Using Software Agents
Procedural terrain generation is used to create landforms for applications such as computer games and flight simulators. While most of the existing work has concentrated on algori...
Jonathon Doran, Ian Parberry
ICASSP
2011
IEEE
14 years 10 months ago
Collaborative system for signal processing education
In this paper we present a collaborative system designed to develop problem solving skills in learners through problemcentric exercises. This system is part of a data collection s...
Gregory A. Krudysz, James H. McClellan