1413 search results - page 213 / 283 » ideas 2007 |
157
click to vote
TLCA
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. The intuitionistic fragment of the call-by-name version of Curien and Herbelin’s λµ˜µ-calculus is isolated and proved strongly normalising by means of an embedding ...
136
click to vote
TMRA
2007
Springer
16 years 7 days ago
2007
Springer
This is a summary of the presentations made in the poster session and the two open space sessions at the TMRA 2006 conference. The poster session consists of peer-reviewed conferen...
197
click to vote
UIC
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. The coverage problem in wireless sensor networks (WSNs) is to determine the number of active sensor nodes needed to cover the sensing area. The purpose is to extend the l...
161
click to vote
WABI
2007
Springer
16 years 7 days ago
2007
Springer
In this paper we introduce a new method of combined synthesis and inference of biological signal transduction networks. A main idea of our method lies in representing observed cau...
137
click to vote
ICMCS
2005
IEEE
15 years 11 months ago
2005
IEEE
The MultimediaN concert-video browser demonstrates a video interaction environment for efficiently browsing video registrations of pop, rock and other music concerts. The exhibiti...