Sciweavers

3161 search results - page 443 / 633
» Hybrid results merging
Sort
View
JOLLI
2002
141views more  JOLLI 2002»
15 years 6 months ago
Naming Worlds in Modal and Temporal Logic
In this paper we suggest adding to predicate modal and temporal logic a locality predicate W which gives names to worlds (or time points). We also study an equal time predicate D(x...
Dov M. Gabbay, G. Malod
PAMI
1998
92views more  PAMI 1998»
15 years 6 months ago
INFORMys: A Flexible Invoice-Like Form-Reader System
—In this paper, we describe a flexible form-reader system capable of extracting textual information from accounting documents, like invoices and bills of service companies. In th...
Francesca Cesarini, Marco Gori, Simone Marinai, Gi...
TCSV
2002
114views more  TCSV 2002»
15 years 6 months ago
Multicast and unicast real-time video streaming over wireless LANs
In this paper, we address the problem of real-time video streaming over wireless LANs for both unicast and multicast transmission. The wireless channel is modeled as a packet-erasu...
Abhik Majumdar, Daniel Grobe Sachs, Igor Kozintsev...
TVCG
2002
99views more  TVCG 2002»
15 years 6 months ago
Lagrangian-Eulerian Advection of Noise and Dye Textures for Unsteady Flow Visualization
A new hybrid scheme (LEA) that combines the advantages of Eulerian and Lagrangian frameworks is applied to the visualization of dense representations of time-dependent vector field...
Bruno Jobard, Gordon Erlebacher, M. Yousuff Hussai...
ECAI
2010
Springer
15 years 5 months ago
Improving the Global Constraint SoftPrec
A soft global constraint SOFTPREC has been proposed recently for solving optimisation problems involving precedence relations. In this paper we present new pruning rules for this g...
David Lesaint, Deepak Mehta, Barry O'Sullivan, Lui...