1536 search results - page 113 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
EGOV
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Issues related to technology, including diffusion, acceptance, adoption, and adaptation, have been the focus of research for different disciplines including Information S...
SIGIR
2006
ACM
15 years 3 months ago
2006
ACM
We present a novel framework for answering complex questions that relies on question decomposition. Complex questions are decomposed by a procedure that operates on a Markov chain...
ICSE
2010
IEEE-ACM
14 years 8 months ago
2010
IEEE-ACM
Integrating several legacy software systems together is commonly performed with multiple applications of the Adapter Design Pattern in oo languages such as Java. The integration i...
BILDMED
2009
14 years 7 months ago
2009
Abstract. Positron emission tomography (PET) is used for independent monitoring of dose delivery in ion therapy. An in-beam PET scanner registers the annihilation γ-rays following...
ACL
2009
14 years 7 months ago
2009
Dependency parsers show syntactic relations between words using a directed graph, but comparing dependency parsers is difficult because of differences in theoretical models. We de...