963 search results - page 192 / 193 » $M$-Solid Varieties of Languages |
EKAW
2010
Springer
13 years 7 months ago
2010
Springer
Linked Data semantic sources, in particular DBpedia, can be used to answer many user queries. PowerAqua is an open multi-ontology Question Answering (QA) system for the Semantic We...
WCRE
2010
IEEE
13 years 7 months ago
2010
IEEE
—Often stakeholders, such as developers, managers, or buyers, want to find out what software development processes are being followed within a software project. Their reasons in...
CASCON
2010
13 years 6 months ago
2010
Today, we are witnessing a new level of scale, complexity, and pervasiveness of software systems that are designed to support much more holistically complex processes. Much richer...
ICTAI
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract--Today's molecular biology is confronted with enormous amounts of data, generated by new high-throughput technologies, along with an increasing number of biological m...
OOPSLA
2010
Springer
13 years 6 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...