Sciweavers

2142 search results - page 244 / 429
» Improved Conditional E-Payments
Sort
View
PKDD
2010
Springer
160views Data Mining» more  PKDD 2010»
13 years 9 months ago
Entropy and Margin Maximization for Structured Output Learning
Abstract. We consider the problem of training discriminative structured output predictors, such as conditional random fields (CRFs) and structured support vector machines (SSVMs)....
Patrick Pletscher, Cheng Soon Ong, Joachim M. Buhm...
VSGAMES
2010
139views Game Theory» more  VSGAMES 2010»
13 years 9 months ago
Attentional Cueing in Serious Games
—Games, and serious games especially, revolve around learning new material and integrating this into a mental model. However, playing games can be cognitively demanding and novic...
Erik D. Van der Spek, Herre van Oostendorp, Pieter...
EMNLP
2010
13 years 8 months ago
Efficient Graph-Based Semi-Supervised Learning of Structured Tagging Models
We describe a new scalable algorithm for semi-supervised training of conditional random fields (CRF) and its application to partof-speech (POS) tagging. The algorithm uses a simil...
Amarnag Subramanya, Slav Petrov, Fernando Pereira
SIGSOFT
2010
ACM
13 years 8 months ago
Finding latent performance bugs in systems implementations
Robust distributed systems commonly employ high-level recovery mechanisms enabling the system to recover from a wide variety of problematic environmental conditions such as node f...
Charles Edwin Killian, Karthik Nagaraj, Salman Per...
FM
2009
Springer
134views Formal Methods» more  FM 2009»
13 years 8 months ago
Partial Order Reductions Using Compositional Confluence Detection
Abstract. Explicit state methods have proven useful in verifying safetycritical systems containing concurrent processes that run asynchronously and communicate. Such methods consis...
Frédéric Lang, Radu Mateescu