Sciweavers

3318 search results - page 473 / 664
» The Weak Instance Model
Sort
View
95
Voted
SIGIR
2010
ACM
15 years 4 months ago
Predicting searcher frustration
When search engine users have trouble finding information, they may become frustrated, possibly resulting in a bad experience (even if they are ultimately successful). In a user ...
Henry A. Feild, James Allan, Rosie Jones
123
Voted
CONCUR
2006
Springer
15 years 4 months ago
Event Structure Semantics for Nominal Calculi
Event structures have been used for giving true concurrent semantics to languages and models of concurrency such as CCS, Petri nets and graph grammars. Although certain nominal cal...
Roberto Bruni, Hernán C. Melgratti, Ugo Mon...
124
Voted
FORMATS
2006
Springer
15 years 4 months ago
On the Computational Power of Timed Differentiable Petri Nets
Abstract. Well-known hierarchies discriminate between the computational power of discrete time and space dynamical systems. A contrario the situation is more confused for dynamical...
Serge Haddad, Laura Recalde, Manuel Silva
AAAI
2008
15 years 3 months ago
Enabling the Interoperability of Large-Scale Legacy Systems
Legacy system data models can interoperate only if their syntactic and semantic differences are resolved. To address this problem, we developed the Intelligent Mapping Toolkit (IM...
Kalyan Moy Gupta, Michael Zang, Adam Gray, David W...
ALGOSENSORS
2008
Springer
15 years 2 months ago
Target Counting under Minimal Sensing: Complexity and Approximations
We consider the problem of counting a set of discrete point targets using a network of sensors under a minimalistic model. Each sensor outputs a single integer, the number of disti...
Sorabh Gandhi, Rajesh Kumar 0003, Subhash Suri