1043 search results - page 87 / 209 » Reading, Writing and Relations |
151
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the gener...
157
click to vote
ICMCS
2006
IEEE
16 years 12 days ago
2006
IEEE
A visual query is based on pictorial representation of conceptual entities and operations. One of the most important features used in visual queries is the shape. Despite its intu...
155
click to vote
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
Machine-understandable data constitutes the foundation for the Semantic Web. This paper presents a viable way for authoring and annotating Semantic Documents on the desktop. In our...
179
click to vote
ESE
2008
15 years 6 months ago
2008
Test-driven development (TDD) is a software development practice that has been used sporadically for decades. With this practice, a software engineer cycles minute-by-minute betwee...
147
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Detecting new coding sequences (CDSs) in viral genomes can be difficult for several reasons. The typically compact genomes often contain a number of overlapping coding...