5550 search results - page 165 / 1110 » Different Approaches to Proof Systems |
186
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
: In a data warehousing process, the phase of data integration is crucial. Many methods for data integration have been published in the literature. However, with the development of...
146
click to vote
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
The transparency created by enterprise models is a valuable support for organizational engineering and especially enterprise transformation. However, current approaches are hardly...
184
click to vote
CISIS
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper describes a new logic-based approach for representing and reasoning about metabolic networks. First it shows how biological pathways can be elegantly represented in a...
161
click to vote
ICC
2007
IEEE
16 years 24 days ago
2007
IEEE
—In this paper we consider the localization of a mobile station (MS) in time division multiple access (TDMA) based communication systems. We use joint angle and delay measurement...
198
click to vote
COLING
2008
15 years 8 months ago
2008
Previous methods usually conduct the keyphrase extraction task for single documents separately without interactions for each document, under the assumption that the documents are ...