533 search results - page 70 / 107 » A Very Mathematical Dilemma |
DATE
2010
IEEE
15 years 4 months ago
2010
IEEE
—In this paper we study the effectiveness of two power gating methods – transistor switches and MEMS switches – in reducing the power consumption of a design with a certain t...
103
click to vote
ICPPW
2002
IEEE
15 years 4 months ago
2002
IEEE
A mobile ad-hoc network (MANET) is a collection of mobile nodes which communicate over radio. These kind of networks are very flexible, thus they do not require any existing infr...
105
click to vote
LICS
2002
IEEE
15 years 4 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
PG
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper addresses the problem of 3D reconstruction from a set of viewpoints on a short baseline. Its main contribution is the development of a robust algorithm which can extrac...
103
click to vote
LACL
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Two kinds of framework for stating grammars of natural languages emerged during the 20th century. Here we call them generativeenumerative syntax (GES) and model-theoretic...