3706 search results - page 158 / 742 » OntoComP System Description |
140
click to vote
WSC
2000
15 years 6 months ago
2000
A new approach to military operations, called Anticipatory Planning and Adaptive Execution, treats planning and execution as a tightly coupled, single process, and replaces reacti...
150
click to vote
DLOG
2009
15 years 3 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
132
click to vote
ICALT
2006
IEEE
15 years 11 months ago
2006
IEEE
Observation activity, on instrumented collective learning situations, enables participants to appropriate themselves corresponding systems in their own practice. In this paper, we...
111
click to vote
ELPUB
2006
ACM
15 years 11 months ago
2006
ACM
This paper shows an approach for converting bitmap images of text glyphs into a vector format which is suitable for being embedded in XML representations of digitized documents. T...
130
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
Today, model-driven development is getting more sophisticated and can be used for modeling enterprises and developing application systems. Since current interoperability solutions ...