2203 search results - page 327 / 441 » Temporal Abstract Interpretation |
106
Voted
ASWEC
2007
IEEE
15 years 10 months ago
2007
IEEE
Heuristics have long been recognised as a way to tackle problems which are intractable because of their size or complexity. They have been used in software engineering for purpose...
126
click to vote
BIBE
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—In this paper we demonstrate the inherent robustness of minimum distance estimator that makes it a potentially powerful tool for parameter estimation in gene expression ...
101
Voted
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Smartocracy is a social software system for collective decision making. The system is composed of a social network that links individuals to those they trust to make go...
103
Voted
INFOCOM
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— TCP/IP can be interpreted as a distributed primaldual algorithm to maximize aggregate utility over source rates. It has recently been shown that an equilibrium of TCP/I...
154
Voted
MOBIQUITOUS
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— Body sensor networks consisting of low-power onbody wireless sensors attached to mobile users will be used in the future to monitor the health and well being of patient...