12774 search results - page 348 / 2555 » A Framework for Proof Systems |
172
click to vote
WORDS
2005
IEEE
16 years 12 days 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...
224
Voted
JCDL
2005
ACM
16 years 12 days 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...
293
click to vote
OTM
2005
Springer
16 years 10 days 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)....
172
click to vote
ICVS
2003
Springer
16 years 1 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...
169
click to vote
ATMOS
2007
15 years 8 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...