2694 search results - page 81 / 539 » Frege's New Science |
164
click to vote
ACSC
2008
IEEE
16 years 25 days ago
2008
IEEE
Simulation and model checking are commonly used to compare the behaviour of a computer-based system with its requirements specification. However, when upgrading an operational le...
170
click to vote
HICSS
2007
IEEE
16 years 20 days ago
2007
IEEE
Do the design requirements of a knowledge management system change over time? If so, how do these changes affect the users of the system? In this paper we explore the case of pate...
147
click to vote
FOCS
2006
IEEE
16 years 12 days ago
2006
IEEE
We present new algebraic approaches for several wellknown combinatorial problems, including non-bipartite matching, matroid intersection, and some of their generalizations. Our wo...
157
click to vote
CT
2001
Springer
15 years 11 months ago
2001
Springer
Spurred on by the eager adoption of XML, the world appears to be on the verge of a revolution in the ease with which information resources from diverse, remote providers can be bro...
154
click to vote
MFCS
2004
Springer
15 years 11 months ago
2004
Springer
In learning theory and genetic programming, OBDDs are used to represent approximations of Boolean functions. This motivates the investigation of the OBDD complexity of approximatin...