7986 search results - page 218 / 1598 » Computational Science and its Applications |
157
click to vote
FSTTCS
2009
Springer
16 years 1 months ago
2009
Springer
We describe a simple iterative method for proving a variety of results in combinatorial optimization. It is inspired by Jain’s iterative rounding method (FOCS 1998) for designing...
140
click to vote
CSIE
2009
IEEE
16 years 1 months ago
2009
IEEE
We present an information extraction system for automated information extraction from free text. The system, XAR, available open-source to the community, s an extraction applicati...
208
click to vote
TLCA
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. In 1994 Herbelin started and partially achieved the programme of showing that, for intuitionistic implicational logic, there is a Curry-Howard interpretation of sequent c...
150
click to vote
ACMSE
2006
ACM
16 years 16 days ago
2006
ACM
In this paper, we propose several methods to increase the difficulty of reverse engineering applications, with special emphasis on preventing the circumvention of copy protection ...
179
click to vote
DSN
2011
IEEE
14 years 6 months ago
2011
IEEE
In this work, we study security incidents that occurred over period of 5 years at the National Center for Supercomputing Applications at the University of Illinois. The analysis co...