Sciweavers

5809 search results - page 872 / 1162
» On Quantifying Semantic Information
Sort
View
AAAI
2008
15 years 9 months ago
Parallel Belief Revision
A recalcitrant problem in approaches to iterated belief revision is that, after first revising by a formula and then by a formula that is inconsistent with the first formula, all ...
James P. Delgrande, Yi Jin
ASSETS
2008
ACM
15 years 9 months ago
A user evaluation of the SADIe transcoder
The World Wide Web (Web) is a visually complex, dynamic, multimedia system that can be inaccessible to people with visual impairments. SADIe addresses this problem by using Semant...
Darren Lunn, Sean Bechhofer, Simon Harper
205
Voted
ASWC
2008
Springer
15 years 9 months ago
Consolidating User-Defined Concepts with StYLiD
Information sharing can be effective with structured data. However, there are several challenges for having structured data on the web. Creating structured concept definitions is ...
Aman Shakya, Hideaki Takeda, Vilas Wuwongse
DOLAP
2005
ACM
15 years 9 months ago
Towards a spatial multidimensional model
Data warehouses and OLAP systems help to interactively analyze huge volume of data. This data, extracted from transactional databases, frequently contains spatial information whic...
Sandro Bimonte, Anne Tchounikine, Maryvonne Miquel
ECOOP
2008
Springer
15 years 9 months ago
Computing Stack Maps with Interfaces
Abstract. Lightweight bytecode verification uses stack maps to annotate Java bytecode programs with type information in order to reduce the verification to type checking. This pape...
Frédéric Besson, Thomas P. Jensen, T...