Sciweavers

2748 search results - page 288 / 550
» Modelling Fuzzy Sets Using Object-Oriented Techniques
Sort
View
CAV
2010
Springer
227views Hardware» more  CAV 2010»
15 years 2 months ago
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
Alexandre Donzé
ECIR
2009
Springer
16 years 2 months ago
Integrating Proximity to Subjective Sentences for Blog Opinion Retrieval
Opinion finding is a challenging retrieval task, where it has been shown that it is especially difficult to improve over a strongly performing topic-relevance baseline. In this pa...
Rodrygo L. T. Santos, Ben He, Craig Macdonald, Iad...
123
Voted
AAAI
2007
15 years 7 months ago
Minimal Mental Models
Agents must form and update mental models about each other in a wide range of domains: team coordination, plan recognition, social simulation, user modeling, games of incomplete i...
David V. Pynadath, Stacy Marsella
147
Voted
JOC
2000
95views more  JOC 2000»
15 years 4 months ago
Player Simulation and General Adversary Structures in Perfect Multiparty Computation
The goal of secure multiparty computation is to transform a given protocol involving a trusted party into a protocol without need for the trusted party, by simulating the party am...
Martin Hirt, Ueli M. Maurer
CHI
2003
ACM
16 years 5 months ago
Designing to support communication on the move
We investigated what mobile workers do when they are mobile to achieve their communication goals, using contextual interviews and ethnographically inspired observations in a varie...
Jacqueline Brodie