Sciweavers

4595 search results - page 612 / 919
» Reasoning about Plans
Sort
View
86
Voted
EMNLP
2010
14 years 10 months ago
A Latent Variable Model for Geographic Lexical Variation
The rapid growth of geotagged social media raises new computational possibilities for investigating geographic linguistic variation. In this paper, we present a multi-level genera...
Jacob Eisenstein, Brendan O'Connor, Noah A. Smith,...
IFM
2010
Springer
133views Formal Methods» more  IFM 2010»
14 years 10 months ago
Towards Probabilistic Modelling in Event-B
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
124
Voted
IPAW
2010
14 years 10 months ago
Provenance of Decisions in Emergency Response Environments
Mitigating the devastating ramifications of major disasters requires emergency workers to respond in a maximally efficient way. Information systems can improve their efficiency by ...
Iman Naja, Luc Moreau, Alex Rogers
100
Voted
ISAMI
2010
14 years 10 months ago
GRASP for Instance Selection in Medical Data Sets
Abstract Medical data sets consist of a huge amount of data organized in instances, where each one contains several attributes. The quality of the models obtained from a database s...
Alfonso Fernández, Abraham Duarte, Rosa Her...
SEMWEB
2010
Springer
14 years 10 months ago
Representing and Querying Validity Time in RDF and OWL: A Logic-Based Approach
RDF(S) and OWL 2 currently support only static ontologies. In practice, however, the truth of statements often changes with time, and Semantic Web applications often need to repres...
Boris Motik