Sciweavers

1471 search results - page 241 / 295
» Church: a language for generative models
Sort
View
ASAP
2008
IEEE
105views Hardware» more  ASAP 2008»
15 years 4 months ago
Fast custom instruction identification by convex subgraph enumeration
Automatic generation of custom instruction processors from high-level application descriptions enables fast design space exploration, while offering very favorable performance and...
Kubilay Atasu, Oskar Mencer, Wayne Luk, Can C. &Ou...
ACL
2007
15 years 3 months ago
Guiding Semi-Supervision with Constraint-Driven Learning
Over the last few years, two of the main research directions in machine learning of natural language processing have been the study of semi-supervised learning algorithms as a way...
Ming-Wei Chang, Lev-Arie Ratinov, Dan Roth
DLT
2008
15 years 3 months ago
Emptiness of Multi-pushdown Automata Is 2ETIME-Complete
We consider multi-pushdown automata, a multi-stack extension of pushdown automata that comes with a constraint on stack operations: a pop can only be performed on the first non-emp...
Mohamed Faouzi Atig, Benedikt Bollig, Peter Haberm...
FORTE
2007
15 years 3 months ago
Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation
Web service choreography describes protocols for multiparty collaboration, whereas orchestration focuses on single peers. One key requirement of choreography is to support transact...
Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu
HCI
2007
15 years 3 months ago
Social Puppets: Towards Modular Social Animation for Agents and Avatars
State-of-the-art computer graphics can give autonomous agents a compelling appearance as animated virtual characters. Typically the agents are directly responsible for controlling ...
Hannes Högni Vilhjálmsson, Chirag Merc...