4166 search results - page 393 / 834 » Automating the constraining process |
166
click to vote
ICN
2007
Springer
15 years 11 months ago
2007
Springer
—Using Mobile Ad Hoc Networks (MANETs) for monitoring bovine animals potentially offers high increase in the profitability of cattle production. In this paper we propose a formal...
175
click to vote
IH
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. A new, simple, approach for active steganography is proposed in this paper that can successfully resist recent blind steganalysis methods, in addition to surviving distor...
158
click to vote
IWSOS
2007
Springer
15 years 11 months ago
2007
Springer
— In Wireless Sensor Network (WSN) applications, sensor nodes are often deployed in harsh environments. Routine maintenance, fault detection and correction is difficult, infrequ...
126
click to vote
SAT
2007
Springer
15 years 11 months ago
2007
Springer
In this paper a new circuit sat based encoding of boolean formula is proposed. It makes an original use of the concept of restrictive models introduced by Boufkhad to polynomially ...
148
click to vote
AUIC
2006
IEEE
15 years 11 months ago
2006
IEEE
We describe a prototype sketch-based system that allows users to draw and manipulate directed graphs using gestural input exclusively. The system incorporates the notion of fluid...