Sciweavers

1969 search results - page 179 / 394
» Financial Theory 1
Sort
View
LATA
2010
Springer
16 years 3 months ago
Untestable Properties Expressible with Four First-Order Quantifiers
Abstract. In property testing, the goal is to distinguish between structures that have some desired property and those that are far from having the property, after examining only a...
Charles Jordan and Thomas Zeugmann
ISSAC
2009
Springer
171views Mathematics» more  ISSAC 2009»
16 years 1 months ago
Computing cylindrical algebraic decomposition via triangular decomposition
Cylindrical algebraic decomposition is one of the most important tools for computing with semi-algebraic sets, while triangular decomposition is among the most important approache...
Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang
COMPGEOM
2009
ACM
16 years 1 months ago
Randomly removing g handles at once
It was shown in [11] that any orientable graph of genus g can be probabilistically embedded into a graph of genus g − 1 with constant distortion. Removing handles one by one giv...
Glencora Borradaile, James R. Lee, Anastasios Sidi...
HICSS
2008
IEEE
110views Biometrics» more  HICSS 2008»
16 years 1 months ago
Shared Mental Models among Open Source Software Developers
1 Shared understandings are important for software development as they guide to effective individual contributions to, and coordination of, the software development process. In thi...
Barbara Scozzi, Kevin Crowston, U. Yeliz Eseryel, ...
ICDCS
2008
IEEE
16 years 1 months ago
WebIBC: Identity Based Cryptography for Client Side Security in Web Applications
The growing popularity of web applications in the last few years has led users to give the management of their data to online application providers, which will endanger the securi...
Zhi Guan, Zhen Cao, Xuan Zhao, Ruichuan Chen, Zhon...