5550 search results - page 341 / 1110 » Different Approaches to Proof Systems |
223
click to vote
ECIR
1998
Springer
15 years 8 months ago
1998
Springer
Multimedia information retrieval systems design is currently considered a complex task since it requires an understanding of users specific way of searching, processing and using ...
196
click to vote
ECIS
2000
15 years 8 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...
188
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
Abstract. When installing network intrusion detection systems (NIDSs), operators are faced with a large number of parameters and analysis options for tuning trade-offs between dete...
172
click to vote
RAS
2007
15 years 6 months ago
2007
In a multi-robotic system, robots interact with each other in a dynamically changing environment. The robots need to be intelligent both at the individual and group levels. In thi...
210
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
In this paper we propose a new communication synthesis approach targeting systems with sequential communication media (SCM). Since SCMs require that the reading sequence and writi...