7820 search results - page 309 / 1564 » Formalization of Time and Space |
196
click to vote
ICSEA
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
186
Voted
AAAI
2007
15 years 9 months ago
2007
We develop a formal theory of mereology that includes relations that change over time. We show how this theory formalizes reasoning over domains of material objects, which include...
205
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
The novelty of the approach presented in this paper is the unique object-based video coding framework for videos obtained from a static camera. As opposed to most existing methods...
192
Voted
CHI
2005
ACM
16 years 7 months ago
2005
ACM
Authentic practice in science requires access to phenomena. In this paper, we introduce RoomQuake, an application designed to foster the growth of a community of learning around s...
179
Voted
VLSID
2004
IEEE
16 years 7 months ago
2004
IEEE
Recent research for testable designs has focussed on inserting test structures by re-arranging an Register-TransferLevel (RTL) data path generated from a behavioural description t...