Sciweavers

4164 search results - page 326 / 833
» Timing model reduction for hierarchical timing analysis
Sort
View
ACL
2010
15 years 4 months ago
Syntactic and Semantic Factors in Processing Difficulty: An Integrated Measure
The analysis of reading times can provide insights into the processes that underlie language comprehension, with longer reading times indicating greater cognitive load. There is e...
Jeff Mitchell, Mirella Lapata, Vera Demberg, Frank...
CCS
2004
ACM
16 years 4 days ago
Parallel mixing
Efforts to design faster synchronous mix networks have focused on reducing the computational cost of mixing per server. We propose a different approach: our re-encryption mixnet...
Philippe Golle, Ari Juels
NIPS
2008
15 years 8 months ago
Asynchronous Distributed Learning of Topic Models
Distributed learning is a problem of fundamental interest in machine learning and cognitive science. In this paper, we present asynchronous distributed learning algorithms for two...
Arthur Asuncion, Padhraic Smyth, Max Welling
ROBOCUP
2007
Springer
159views Robotics» more  ROBOCUP 2007»
16 years 26 days ago
Model Checking Hybrid Multiagent Systems for the RoboCup
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
Ulrich Furbach, Jan Murray, Falk Schmidsberger, Fr...
BPSC
2009
240views Business» more  BPSC 2009»
15 years 7 months ago
Modelling and Solving Configuration Problems on Business Processes Using a Multi-Level Constraint Satisfaction Approach
Abstract: In this paper we present our ideas to apply constraint satisfaction on business processes. We propose a multi-level constraint satisfaction approach to handle t levels of...
Wolfgang Runte