Sciweavers

6104 search results - page 86 / 1221
» Constructing Information Bases Using Associative Structures
Sort
View
90
Voted
ICALT
2007
IEEE
15 years 9 months ago
Semantic processing for text mapping onto information space
This paper reports on an approach which maps documents onto an ontology-based information space in order to provide support for machine-mediated communication. First, a composite ...
Weiqiang Ou, Adel Elsayed
ENTCS
2008
121views more  ENTCS 2008»
15 years 3 months ago
Building Certified Static Analysers by Modular Construction of Well-founded Lattices
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
David Pichardie
AAAI
1996
15 years 4 months ago
Computing Optimal Policies for Partially Observable Decision Processes Using Compact Representations
: Partially-observable Markov decision processes provide a very general model for decision-theoretic planning problems, allowing the trade-offs between various courses of actions t...
Craig Boutilier, David Poole
136
Voted
MSN
2007
Springer
162views Sensor Networks» more  MSN 2007»
15 years 9 months ago
Adaptive Topology Based Gossiping in VANETs Using Position Information
Abstract. Gossiping is a lightweight and simple technique for information dissemination in many application domains, be it in Wireless Sensor Networks (WSNs), Mobile Ad-hoc Network...
Boto Bako, Igor Rikanovic, Frank Kargl, Elmar Scho...
131
Voted
3DPVT
2004
IEEE
136views Visualization» more  3DPVT 2004»
15 years 7 months ago
Efficient Model Creation of Large Structures based on Range Segmentation
This paper describes an efficient 3D modeling method from 3D range data-sets that is utilizing range data segmentation. Our algorithm starts with a set of unregistered 3D range sc...
Ioannis Stamos, Marius Leordeanu