8903 search results - page 31 / 1781 » Alternative |
AAAI
2007
15 years 2 hour ago
2007
This paper presents a formalism to describe practical reasoning in terms of an Action-based Alternating Transition System (AATS). The starting point is a previously specified acc...
84
Voted
ACL
2006
14 years 11 months ago
2006
The integration of sophisticated inference-based techniques into natural language processing applications first requires a reliable method of encoding the predicate-argument struc...
MASCOTS
2003
14 years 11 months ago
2003
This paper is motivated by a simple question: what are the energy consumption characteristics of mobile storage alternatives? To answer this question, we are faced with a design s...
83
Voted
ECIS
2000
14 years 11 months ago
2000
- Enterprise Resource Planning (ERP) software has become the dominant strategic platform for supporting enterprise-wide business processes. However, single vendor ERP software syst...
IJFCS
2008
14 years 9 months ago
2008
Abstract. Recently, it has been shown that for any higher order pushdown system H and for any regular set C of configurations, the set pre H(C), is regular. In this paper, we give ...