12774 search results - page 348 / 2555 » A Framework for Proof Systems |
192
Voted
WORDS
2005
IEEE
16 years 1 months ago
2005
IEEE
In emerging e-commerce applications, time constrained information sharing between different systems is becoming a common phenomenon. A flexible and efficient mechanism is needed t...
241
click to vote
JCDL
2005
ACM
16 years 1 months ago
2005
ACM
Automatic text classification is an important operational problem in digital library practice. Most text classification efforts so far concentrated on developing centralized solut...
306
click to vote
OTM
2005
Springer
16 years 1 months ago
2005
Springer
In this paper, we propose a framework supporting dynamic interoperation between heterogeneous workflow systems and workflow-based dynamic Enterprise Application Integration (EAI)....
189
click to vote
ICVS
2003
Springer
16 years 23 days ago
2003
Springer
Many Vision-Based Human-Computer Interaction (VB-HCI) systems are based on the tracking of user actions. Examples include gazetracking, head-tracking, finger-tracking, and so fort...
196
click to vote
ATMOS
2007
15 years 9 months ago
2007
Abstract. In this paper, we give an overview of the Locomotive Simulater/Optimizer (LSO) decision support system developed by us for railroads. This software is designed to imitate...