2766 search results - page 133 / 554 » Hybridizing a Logical Framework |
149
click to vote
FOSSACS
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
142
click to vote
SSDBM
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper, we study the effects of compression on bitmap indexes. The main operations on the bitmaps during query processing are bitwise logical operations such as AND, OR, N...
122
click to vote
VL
2002
IEEE
15 years 9 months ago
2002
IEEE
There is a range of modelling notations, both textual and diagrammatic, whose semantics are based on first-order predicate logic. This paper presents a visual framework for organ...
124
click to vote
COMPSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Today, we are seeing an increasing number of software applications that users want to use anywhere, anytime. Such mobile applications often deliver their user interfaces (UIs) to ...
123
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Sensor networks are expected to play an important role in hybrid protection infrastructures when combined with robots and human decision makers. In order to be effective, detectio...