1722 search results - page 287 / 345 » Generating Tests from Counterexamples |
SENSYS
2010
ACM
13 years 5 months ago
2010
ACM
Wireless sensor networks (WSNs) are hard to program due to unconventional programming models used to satisfy stringent resource constraints. The common event-driven concurrent pro...
ACL
2009
13 years 5 months ago
2009
We report in this paper our work on accurately generating case markers and suffixes in English-to-Hindi SMT. Hindi is a relatively free word-order language, and makes use of a com...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Mining association rules is a task of data mining, which extracts knowledge in the form of significant implication relation of useful items (objects) from a database. Mining multi...
ACMSE
2010
ACM
13 years 2 months ago
2010
ACM
The sum of sine waves was used to evoke Steady State Visual Evoked Potentials (SSVEP). The SSVEP responses were elicited by visual stimuli in the form of a flickering light emitti...
CORR
2010
Springer
13 years 2 months ago
2010
Springer
In various applications, the effect of errors in gradient-based iterations is of particular importance when seeking saddle points of the Lagrangian function associated with constra...