8496 search results - page 1505 / 1700 » Problem Solving and Complex Systems |
109
Voted
COCOON
2007
Springer
15 years 8 months ago
2007
Springer
We investigate the connection between propositional proof systems and their canonical pairs. It is known that simulations between proof systems translate to reductions between the...
159
Voted
AAMAS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract The advent of large-scale distributed systems poses unique engineering challenges. In open systems such as the internet it is not possible to prescribe the behaviour of al...
119
Voted
SIGIR
2008
ACM
15 years 2 months ago
2008
ACM
Address geocoding, the process of finding the map location for a structured postal address, is a relatively well-studied problem. In this paper we consider the more general proble...
169
Voted
TASE
2008
IEEE
15 years 2 months ago
2008
IEEE
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
94
Voted
CGF
1998
15 years 2 months ago
1998
Progressive addition lenses are a relatively new approach to compensate for defects of the human visual system. While traditional spectacles use rotationally symmetric lenses, pro...