6355 search results - page 1074 / 1271 » From Logic to Games |
190
click to vote
IEEEARES
2008
IEEE
16 years 1 months ago
2008
IEEE
—Data warehouse (DW) systems integrate data from heterogeneous sources and are used by decision makers to analyze the status and the development of an organization. Traditionally...
166
click to vote
IRI
2008
IEEE
16 years 1 months ago
2008
IEEE
The management of reservoir simulation models has been an important need of engineers in petroleum industry. However, due to data sharing among reservoir simulation models, data r...
170
click to vote
TIME
2008
IEEE
16 years 29 days ago
2008
IEEE
The movement in public transport networks is organized according to schedules. The real-world schedules are specified by a set of periodic rules and a number of irregularities fr...
192
click to vote
TPHOL
2008
IEEE
16 years 29 days ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
217
click to vote
AB
2008
Springer
16 years 28 days ago
2008
Springer
Abstract. A well-known discrete approach to modeling biological regulatory networks is the logical framework developed by R. Thomas. The network structure is captured in an interac...