840 search results - page 167 / 168 » A low-complexity issue logic |
DLOG
2009
13 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...
DLOG
2009
13 years 3 months ago
2009
Abstract. In this paper, we describe an approach for ontology comprehension support called model exploration in which models for ontologies are generated and presented interactivel...
IFIP12
2009
13 years 3 months ago
2009
Abstract Early failure detection in motor pumps is an important issue in prediction maintenance. An efficient condition-monitoring scheme is capable of providing warning and predic...
INFORMATICALT
2010
13 years 3 months ago
2010
This paper analyses the possibilities of integrating different technological and knowledge representation techniques for the development of a framework for the remote control of mu...
SIMPRA
2011
13 years 21 days ago
2011
—In the Internet of the future, a flexible, dynamic combination of wireless and wired access networks is expected to be a key driver for enlarging the broadband communication se...