2920 search results - page 166 / 584 » Finite information logic |
180
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
Data Warehouse logical design involves the definition of structures that enable an efficient access to information. The designer builds relational or multidimensional structures ta...
193
click to vote
APNOMS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Wireless sensor network is a suitable technology for ubiquitous environment. However, in WSN, as the network size grows larger, overheads such as flooding, calculation an...
132
click to vote
LILOG
1989
15 years 10 months ago
1989
We propose a theory for reasoning about actions based on order-sorted predicate logic where one can consider an elaborate taxonomy of objects. We are interested in the projection ...
165
click to vote
ISMB
1994
15 years 8 months ago
1994
Temporallogic, in particular, interval logic has been used to represent genomemapsand to assist genome mapconstructions. However,interval logic itself appears to be bruited in its...
208
click to vote
AMAST
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...