2399 search results - page 97 / 480 » Developing an Effective IT Integration and Support System |
159
click to vote
FMCAD
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Termination poses one of the main challenges for mechanically verifying infinite state systems. In this paper, we develop a powerful and extensible framework based on th...
199
click to vote
BMCBI
2011
15 years 1 months ago
2011
Background: The amount of data on protein-protein interactions (PPIs) available in public databases and in the literature has rapidly expanded in recent years. PPI data can provid...
135
click to vote
CEAS
2005
Springer
15 years 12 months ago
2005
Springer
Spam filter developers are confronted with the task of integrating their ideas in user-friendly products. In this paper, we introduce Spamato as an open, extendable, and multi-fa...
174
click to vote
DATAMINE
2000
15 years 6 months ago
2000
Data mining on large data warehouses is becoming increasingly important. In support of this trend, we consider a spectrum of architectural alternatives for coupling mining with da...
134
click to vote
MHCI
2004
Springer
15 years 11 months ago
2004
Springer
This paper describes a study of the use of multimedia networked location-aware mobile computers to support team-based survey-oriented fieldwork. Existing systems do not provide ful...