1205 search results - page 216 / 241 » Program Extraction from Large Proof Developments |
MDM
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, we propose a middleware library for efficiently developing distributed cooperative applications consisting of a large number of cellular phones with Java executors....
CODES
2003
IEEE
15 years 6 months ago
2003
IEEE
We describe our first efforts to develop a set of off-the-shelf hardware components that ordinary people could connect to build a simple but useful class of embedded systems. The ...
130
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: R is the preferred tool for statistical analysis of many bioinformaticians due in part to the increasing number of freely available analytical methods. Such methods ca...
112
click to vote
BIBE
2006
IEEE
15 years 7 months ago
2006
IEEE
An interesting and important, but largely ignored question associated with the ML method is whether there exists only a single maximum likelihood point for a given phylogenetic tr...
102
click to vote
CEC
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract- The large majority of existing clustering algorithms are centered around the notion of a feature, that is, individual data items are represented by their intrinsic proper...