515 search results - page 54 / 103 » Neighborhood operator systems and approximations |
HICSS
2009
IEEE
15 years 4 months ago
2009
IEEE
In the current state of practice, security properties of software systems are typically assessed through subjective, labor-intensive human evaluation. Moreover, much of the quanti...
SI3D
2003
ACM
15 years 3 months ago
2003
ACM
This paper describes a framework for introducing visually smooth surfaces into sketch-based freeform modeling systems. An existing sketch-based freeform modeling system generates ...
SAC
2010
ACM
14 years 11 months ago
2010
ACM
Low-power and energy-efficient system implementations have become very important design issues to extend operation duration or cut power bills. To balance the energy consumption r...
JC
2002
14 years 9 months ago
2002
It has been known how to use computational fixed point theorems to verify existence and uniqueness of a true solution to a nonlinear system of equations within a small region abou...
QEST
2009
IEEE
15 years 4 months ago
2009
IEEE
—Gossip protocols are designed to operate in very large, decentralised networks. A node in such a network bases its decision to interact (gossip) with another node on its partial...