2519 search results - page 377 / 504 » Reasoning with Textual Cases |
144
Voted
VMCAI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
169
click to vote
WABI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Haplotype inference problem asks for a set of haplotypes explaining a given set of genotypes. Popular software tools for haplotype inference (e.g., PHASE, HAPLOTYPER) as ...
157
Voted
ECBS
2010
IEEE
15 years 10 months ago
2010
IEEE
—When engineering complex software systems, the key Architectural Design Decisions (ADD) and the reasoning underlying those decisions need to be fully understood by all stakehold...
131
Voted
ICDS
2010
IEEE
15 years 10 months ago
2010
IEEE
—Learning ontology from text is a challenge in knowledge engineering research and practice. Learning relations between concepts is even more difficult work. However, when conside...
114
click to vote
CHI
2010
ACM
15 years 10 months ago
2010
ACM
A consistent theoretical and practical challenge in the design of socio-technical systems is that of motivating users to participate in and contribute to them. This study examines...