Sciweavers

205 search results - page 13 / 41
» The Use of a Formal Representation of Accounting Standards
Sort
View
DSS
2002
231views more  DSS 2002»
13 years 7 months ago
Computational aspects of the FLBC framework
Recent research has sought to develop formal languages for business communication as more expressive, flexible and powerful alternatives to current electronic data interchange (ED...
Aspassia Daskalopulu, Marek J. Sergot
DOCENG
2011
ACM
12 years 7 months ago
Interoperable metadata semantics with meta-metadata: a use case integrating search engines
A use case involving integrating results from search engines illustrates how the meta-metadata language facilitates interoperable metadata semantics. Formal semantics can be hard ...
Yin Qu, Andruid Kerne, Andrew M. Webb, Aaron Herst...
SEMWEB
2007
Springer
14 years 1 months ago
Logical Foundations of (e)RDF(S): Complexity and Reasoning
Abstract. An important open question in the semantic Web is the precise relationship between the RDF(S) semantics and the semantics of standard knowledge representation formalisms ...
Jos de Bruijn, Stijn Heymans
ICRA
2002
IEEE
85views Robotics» more  ICRA 2002»
14 years 10 days ago
Reactive Navigation for Non-Holonomic Robots using the Ego-Kinematic Space
We address the problem of applying reactive navigation methods to non-holonomic robots. Rather than embedding the motion constraints when designing a navigation method, we propose...
Javier Minguez, Luis Montano, José Santos-V...
FOIS
2006
13 years 8 months ago
Nontological Engineering
This article reflects an ongoing effort to systematize the use of terms applied by philosophers and computer scientists in the context of ontology and ontological engineering. We s...
Waclaw Kusnierczyk