15888 search results - page 2741 / 3178 » Supporting human-intensive systems |
182
click to vote
BTW
2005
Springer
16 years 21 days ago
2005
Springer
Abstract: An effective processing and analysis of data streams is of utmost importance for a plethora of emerging applications like network monitoring, traffic management, and fi...
162
click to vote
CAISE
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. Computers support more and more tasks in the personal and professional activities of users. Such user tasks increasingly span large periods of time and many locations acr...
189
click to vote
CAV
2005
Springer
16 years 21 days ago
2005
Springer
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...
199
click to vote
CICLING
2005
Springer
16 years 21 days ago
2005
Springer
In this paper, we describe systems for automatic labeling of time expressions occurring in English and Chinese text as specified in the ACE Temporal Expression Recognition and Nor...
209
click to vote
CIKM
2005
Springer
16 years 21 days ago
2005
Springer
In this paper, we propose a versatile disambiguation approach which can be used to make explicit the meaning of structure based information such as XML schemas, XML document struc...