7124 search results - page 1242 / 1425 » Programming Languages and Operating Systems |
135
Voted
CAISE
2000
Springer
15 years 7 months ago
2000
Springer
Application integration is a major trend in information technology today. In this paper we present a number of principles for the design, validation and presentation of process mod...
142
Voted
KDD
1997
ACM
15 years 6 months ago
1997
ACM
Exploratory data analysis is a process of sifting through data in search of interesting information or patterns. Analysts’ current tools for exploring data include database mana...
111
click to vote
SIGADA
2005
Springer
15 years 8 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
168
Voted
ICDE
2011
IEEE
14 years 6 months ago
2011
IEEE
—There is a growing interest in methods for analyzing data describing networks of all types, including information, biological, physical, and social networks. Typically the data ...
129
Voted
EVOW
2010
Springer
15 years 5 months ago
2010
Springer
Recognizing arbitrary objects in images or video sequences is a difficult task for a computer vision system. We work towards automated learning of object detectors from video seque...