Sciweavers

380 search results - page 8 / 76
» The End of Science Revisited
Sort
View
TCS
2010
14 years 8 months ago
Class constrained bin packing revisited
We study the following variant of the bin packing problem. We are given a set of items, where each item has a (non-negative) size and a color. We are also given an integer paramet...
Leah Epstein, Csanád Imreh, Asaf Levin
CASC
2011
Springer
212views Mathematics» more  CASC 2011»
13 years 9 months ago
Semi-algebraic Description of the Equilibria of Dynamical Systems
Abstract. We study continuous dynamical systems defined by autonomous ordinary differential equations, themselves given by parametric rational functions. For such systems, we pro...
Changbo Chen, Marc Moreno Maza
VL
2006
IEEE
104views Visual Languages» more  VL 2006»
15 years 3 months ago
Pair Collaboration in End-User Debugging
The problem of dependability in end-user programming is an emerging area of interest. Pair collaboration in end-user software development may offer a way for end users to debug th...
Thippaya Chintakovid, Susan Wiedenbeck, Margaret M...
WEBNET
1998
14 years 11 months ago
Using Agents as a Currency of Exchange between End-Users
: The Behavior Exchange is an AgentSheets-based forum employing the web for the collaborative creation of SimCityTM-like interactive simulations. While initially the Behavior Excha...
Alexander Repenning, Martin Rausch, Jonathan Phill...
112
Voted
PAIRING
2009
Springer
119views Cryptology» more  PAIRING 2009»
15 years 4 months ago
Compact E-Cash and Simulatable VRFs Revisited
Abstract. Efficient non-interactive zero-knowledge proofs are a powerful tool for solving many cryptographic problems. We apply the recent Groth-Sahai (GS) proof system for pairing...
Mira Belenkiy, Melissa Chase, Markulf Kohlweiss, A...