17129 search results - page 3057 / 3426 » Applied Computing |
196
click to vote
QEST
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
159
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
When multiple ontologies are used within one application system, aligning the ontologies is a prerequisite for interoperability and unhampered semantic navigation and search. Vario...
228
click to vote
SIGDIAL
2010
15 years 4 months ago
2010
A central problem in Interactive Question Answering (IQA) is how to answer Follow-Up Questions (FU Qs), possibly by taking advantage of information from the dialogue context. We a...
208
click to vote
SOCIALCOM
2010
15 years 4 months ago
2010
Text data pertaining to socio-technical networks often are analyzed separately from relational data, or are reduced to the fact and strength of the flow of information between node...
203
click to vote
TAP
2010
Springer
15 years 4 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...