1073 search results - page 126 / 215 » Reasoning about Continuous Processes |
ICAIL
2009
ACM
14 years 2 months ago
2009
ACM
An overwhelming number of legal documents is available in digital form. However, most of the texts are usually only provided in a semi-structured form, i.e. the documents are stru...
DASFAA
2007
IEEE
14 years 2 months ago
2007
IEEE
In order to efficiently determine structural relationships among XML elements and to avoid re-labeling for updates, much research about labeling schemes has been conducted, recentl...
IFIP12
2004
13 years 11 months ago
2004
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
ARTMED
2010
13 years 10 months ago
2010
Objective: The programming language Arden Syntax has been optimised for use in clinical decision support systems. We describe an extension of this language named Fuzzy Arden Synta...
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
We describe a very large scale distributed robotic system, involving a team of over 100 robots, that has been successfully deployed in large, unknown indoor environments, over ext...