1031 search results - page 204 / 207 » Modeling and Formal Verification of Production Automation Sy... |
DLOG
2004
13 years 9 months ago
2004
We present algorithms based on truth-prefixed tableaux to solve both Concept Abduction and Contraction in ALN DL. We also analyze the computational complexity of the problems, sho...
ELECTRONICMARKETS
1998
13 years 7 months ago
1998
AbstractAbstractAbstractAbstract This paper discusses the development of remote bidding electronic fish auctions. The first electronic fish auctions were introduced in Belgium and ...
JDCTA
2010
13 years 2 months ago
2010
Complications with garment sizing and poor fit inconvenience many consumers who become dissatisfied with such provision on the high street. It is evident that human measurement an...
GIS
2009
ACM
2009
ACM
Web 2.0 Geospatial Visual Analytics for Improved Urban Flooding Situational Awareness and Assessment
14 years 8 months ago
Situational awareness of urban flooding during storm events is important for disaster and emergency management. However, no general purpose tools yet exist for rendering rainfall ...
JAIR
2010
13 years 6 months ago
2010
To tackle the vocabulary problem in conversational systems, previous work has applied unsupervised learning approaches on co-occurring speech and eye gaze during interaction to au...