Sciweavers

844 search results - page 107 / 169
» More On Implicit Syntax
Sort
View
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
15 years 7 months ago
Model Checking Liveness Properties of Genetic Regulatory Networks
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
Grégory Batt, Calin Belta, Ron Weiss
81
Voted
TARK
2007
Springer
15 years 7 months ago
Vote manipulation in the presence of multiple sincere ballots
A classical result in voting theory, the Gibbard-Satterthwaite Theorem, states that for any non-dictatorial voting rule for choosing between three or more candidates, there will b...
Ulle Endriss
CVPR
2006
IEEE
15 years 7 months ago
Learning Joint Top-Down and Bottom-up Processes for 3D Visual Inference
We present an algorithm for jointly learning a consistent bidirectional generative-recognition model that combines top-down and bottom-up processing for monocular 3d human motion ...
Cristian Sminchisescu, Atul Kanaujia, Dimitris N. ...
DASFAA
2006
IEEE
126views Database» more  DASFAA 2006»
15 years 7 months ago
An Efficient Approach for Mining Top-K Fault-Tolerant Repeating Patterns
Abstract. In this paper, an efficient strategy for mining top-K non-trivial faulttolerant repeating patterns (FT-RPs in short) with lengths no less than min_len from data sequences...
Jia-Ling Koh, Yu-Ting Kung
ACSC
2005
IEEE
15 years 6 months ago
A Programming Language for Web Service Development
There is now widespread acceptance of Web services and service-oriented architectures. But despite the agreement on key Web services standards there remain many challenges. Progra...
Dominic Cooney, Marlon Dumas, Paul Roe