2623 search results - page 153 / 525 » tools 2010 |
155
click to vote
SAC
2010
ACM
16 years 14 days ago
2010
ACM
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...
168
click to vote
LATA
2010
Springer
15 years 10 months ago
2010
Springer
With the advent of new sequencing technologies able to produce an enormous quantity of short genomic sequences, new tools able to search for them inside a references sequence genom...
157
Voted
EICS
2010
ACM
15 years 9 months ago
2010
ACM
Language Technology (LT) based applications become more popular as technology improves. Prototyping early in the design process is critical for the development of high quality app...
158
click to vote
ISSTA
2010
ACM
15 years 7 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
178
click to vote
MM
2010
ACM
15 years 5 months ago
2010
ACM
In this technical demonstration we present a novel web-based tool that allows a user friendly semantic browsing of video collections, based on ontologies, concepts, concept relati...