The monadic second-order theory of trees allows quantification over elements and over arbitrary subsets. We classify the class of trees with respect to the question: does a tree T have definable Skolem functions (by a monadic formula with parameters)? This continues [LiSh539] where the question was asked only with respect to choice functions. Here we define a subclass of the class of tame trees...

As mobile computing gains popularity, the need for ad hoc routing protocols will continue to grow. There have been numerous simulations comparing the performance of these protocols under varying conditions and constraints. One question that arises is whether the choice of MAC protocol affects the relative performance of the routing protocols being studied. This paper investigates the answer to ...

Every open source project needs to decide on an open source license. This decision is of high economic relevance: Just which license is the best one to help the project grow and attract a community? The most common question is: Should the project choose a restrictive (reciprocal) license or a more permissive one? As an important step towards answering this question, this paper analyses actual l...

We describe CMU’s UIMA-based modular automatic question answering (QA) system. This system answers multiplechoice English questions for the world history entrance exam. Questions are preceded by short descriptions providing a historical context. Given the context and question-specific instructions, we generate verifiable assertions for each answer choice. These assertions are evaluated using se...

Research on electronic commerce has shown that information provided by online retailers, such as product recommendations and consumer reviews, have a significant impact on consumer product choice (Dellarocus 2006, Duan et al. 2008, Fleder and Hosnagar 2008, Lynch and Ariely 2000). However, few studies have considered the timing of the consideration and choice process. In this study, we analyze ...

Question and answering service is one of the popular services in the World Wide Web. The main goal of these services is to finding the best answer for user's input question as quick as possible. In order to achieve this aim, most of these use new techniques foe question matching. . We have a lot of question and answering services in Persian web, so it seems that developing a question matching m...

In this position paper, we present a powerful and distributed spatio-temporal query processing framework, coined HUB-K. Our framework can be utilized to promptly answer queries of the form: “Report the objects (i.e., trajectories) that follow a similar spatio-temporal motion to Q, where Q is some query trajectory.” HUB-k, relies on an in-situ data storage model, where spatio-temporal data remai...

1 Luciana A M Zaina, University of São Paulo, Digital System Department of Polytechnic School , Brazil,[email protected] du 2 Graça Bressan, University of São Paulo, Digital System Department of Polytechnic School , Brazil, [email protected] 3 Wilson V Ruggiero, University of São Paulo, Digital System Department of Polytechnic School , Brazil, [email protected] Abstract  Distance educatio...

Guidelines for writing cognitive objectives and multiple-choice test questions for pharmacy educational programs are suggested. Cognitive educational objectives relate to intellectual skills and can usually be tested with multiple-choice questions. Pharmacy educators writing cognitive objectives should focus on the major, not minor, knowledge or skills that participants in an educational progra...