Sciweavers

2588 search results - page 180 / 518
» Applications of Kolmogorov complexity to computable model th...
Sort
View
SAC
2008
ACM
15 years 1 months ago
Template design and automatic generation of controllers for industrial robots
The basic theory of supervisory control of discrete-event systems is extended with the notion of templates, which simplifies the modeling of controllers since one can work with co...
Lenko Grigorov, Karen Rudie, José E. R. Cur...
124
Voted
ALMOB
2006
113views more  ALMOB 2006»
15 years 2 months ago
Inverse bifurcation analysis: application to simple gene systems
Background: Bifurcation analysis has proven to be a powerful method for understanding the qualitative behavior of gene regulatory networks. In addition to the more traditional for...
James Lu, Heinz W. Engl, Peter Schuster
ICALP
2010
Springer
15 years 3 months ago
From Secrecy to Soundness: Efficient Verification via Secure Computation
d Abstract) Benny Applebaum1 , Yuval Ishai2 , and Eyal Kushilevitz3 1 Computer Science Department, Weizmann Institute of Science 2 Computer Science Department, Technion and UCLA 3 ...
Benny Applebaum, Yuval Ishai, Eyal Kushilevitz
SIGECOM
2006
ACM
115views ECommerce» more  SIGECOM 2006»
15 years 8 months ago
Multi-attribute coalitional games
We study coalitional games where the value of cooperation among the agents are solely determined by the attributes the agents possess, with no assumption as to how these attribute...
Samuel Ieong, Yoav Shoham
MIDDLEWARE
2004
Springer
15 years 7 months ago
Developing and Managing Software Components in an Ontology-Based Application Server
Application servers provide many functionalities commonly needed in the development of a complex distributed application. So far, the functionalities have mostly been developed an...
Daniel Oberle, Andreas Eberhart, Steffen Staab, Ra...