Sciweavers

1929 search results - page 159 / 386
» A Problem Space Approach to Expert System Specification
Sort
View
HICSS
2009
IEEE
111views Biometrics» more  HICSS 2009»
15 years 11 months ago
Signs: Increasing Expression and Clarity in Instant Messaging
Despite its popularity, commercial instant messaging has changed little in the past 15 years. Conversations are linear, immutable, and susceptible to errors in turn-taking and ref...
Aaron Zinman, Judith S. Donath
MMB
2010
Springer
185views Communications» more  MMB 2010»
15 years 6 months ago
Correctness Issues of Symbolic Bisimulation Computation for Markov Chains
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
Ralf Wimmer, Bernd Becker
RTCSA
1997
IEEE
15 years 8 months ago
Behavior verification of hybrid real-time requirements by qualitative formalism
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
Jang-Soo Lee, Sung Deok Cha
96
Voted
GECCO
2007
Springer
181views Optimization» more  GECCO 2007»
15 years 10 months ago
Finding interesting things
Model- and simulation-designers are often interested not in the optimum output of their system, but in understanding how the output is sensitive to different parameters. This can...
Sean Luke, Deepankar Sharma, Gabriel Catalin Balan
134
Voted
DRR
2009
15 years 1 months ago
Using synthetic data safely in classification
When is it safe to use synthetic data in supervised classification? Trainable classifier technologies require large representative training sets consisting of samples labeled with...
Jean Nonnemaker, Henry Baird