18898 search results - page 3586 / 3780 » The Making of a Software Engineer |
181
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints...
174
click to vote
CONEXT
2009
ACM
15 years 7 months ago
2009
ACM
Networking researchers have been using tools like wireshark and tcpdump to sniff packets on physical links that use different types of datalink protocols, e.g. Ethernet or 802.11,...
193
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
In this paper, we show that a Bio-inspired classifier’s accuracy can be dramatically improved if it operates on intelligent features. We propose a novel set of intelligent feat...
167
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Copy number variations (CNVs) and polymorphisms (CNPs) have only recently gained the genetic community's attention. Conservative estimates have shown that CNVs an...
164
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Many complementary solutions are available for the identifier mapping problem. This creates an opportunity for bioinformatics tool developers. Tools can be made to fle...