9810 search results - page 143 / 1962 » Problems, Descriptions and Objects |
126
click to vote
GEOINFO
2007
15 years 5 months ago
2007
This paper describes a model for spatiotemporal objects whose location is fixed, but its boundaries and properties change. We refer to these as evolving objects. We consider cases ...
121
click to vote
MANSCI
2006
15 years 4 months ago
2006
This paper presents a new information acquisition problem motivated by business applications where customer data has to be acquired with a specific modeling objective in mind. In ...
BIRTHDAY
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We present a general methodology for non-deterministic programming based on pure functional programming. We construct families of automata constructions which are used as...
158
click to vote
ASIAN
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Clever algorithm design is sometimes superseded by simple encodings into logic. We apply this motto to a few case studies in the formal verification of security propertie...
129
click to vote
APPML
2006
15 years 4 months ago
2006
We show that a combinatorial question which has been studied in connection with lower bounds for the knapsack problem by Brimkov and Dantchev (2001) is related to threshold graphs...