Sciweavers

687 search results - page 81 / 138
» The Emergence of Knowledge e-marketplaces
Sort
View
88
Voted
ICML
2002
IEEE
16 years 2 months ago
Reinforcement Learning and Shaping: Encouraging Intended Behaviors
We explore dynamic shaping to integrate our prior beliefs of the final policy into a conventional reinforcement learning system. Shaping provides a positive or negative artificial...
Adam Laud, Gerald DeJong
SIGSOFT
2003
ACM
16 years 2 months ago
Bogor: an extensible and highly-modular software model checking framework
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
Robby, Matthew B. Dwyer, John Hatcliff
KDD
2004
ACM
106views Data Mining» more  KDD 2004»
16 years 1 months ago
Early detection of insider trading in option markets
"Inside information" comes in many forms: knowledge of a corporate takeover, a terrorist attack, unexpectedly poor earnings, the FDA's acceptance of a new drug, etc...
Steve Donoho
HICSS
2009
IEEE
118views Biometrics» more  HICSS 2009»
15 years 8 months ago
FXplorer: Exploration of Computed Software Behavior - A New Approach to Understanding and Verification
The craft of software understanding and verification can benefit from technologies that enable evolution toward a true engineering discipline. In current practice, software develo...
Luanne Burns, Timothy Daly
CEC
2009
IEEE
15 years 8 months ago
Mobile processes, mobile channels and complex dynamic systems
— This paper explores a process-oriented approach to complex systems design, using massive fine-grained concurrency, mobile channels and mobile processes. The complex systems st...
Eric Bonnici, Peter H. Welch