3495 search results - page 225 / 699 » On the random satisfiable process |
202
click to vote
ADBIS
2001
Springer
15 years 11 months ago
2001
Springer
Data mining is an interactive and iterative process. It is very likely that a user will execute a series of similar queries differing in pattern constraints and mining parameters,...
173
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...
167
click to vote
ENTCS
2008
15 years 7 months ago
2008
This paper explores the emerging paradigm of business-driven development, which presupposes a methodology for developing IT solutions that directly satisfy business requirements a...
213
click to vote
ISCI
2002
15 years 6 months ago
2002
Video information processing has been one of great challenging areas in the database community since it needs huge amount of storage space and processing power. In this paper, we ...
236
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Stereo matching is an active area of research in image processing. In a recent work, a convex programming approach was developed in order to generate a dense disparity field. In ...