5550 search results - page 227 / 1110 » Different Approaches to Proof Systems |
144
click to vote
IEEEARES
2009
IEEE
16 years 1 months ago
2009
IEEE
—There have been several attempts to develop a comprehensive account of the requirements for voting systems, particularly for public elections. Typically, these approaches identi...
177
click to vote
ISLPED
1999
ACM
15 years 11 months ago
1999
ACM
-- The goal of a dynamic power management policy is to reduce the power consumption of an electronic system by putting system components into different states, each representing ce...
128
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper deals with the platooning problem that can be defined as the automatic following of a manned driven vehicle by a convoy of automatic ones. Different approaches have...
177
click to vote
COLING
2000
15 years 8 months ago
2000
Typical approaches to XML authoring view a XML document as a mixture of structure (the tags) and surface (text between the tags). We advocate a radical approach where the surface ...
183
click to vote
TOPLAS
1998
15 years 6 months ago
1998
Abstract: We introduce a unified framework to describe, relate, compare and classify functional language implementations. The compilation process is expressed as a succession of p...