12193 search results - page 2233 / 2439 » It's not all about |
180
click to vote
CDVE
2007
Springer
16 years 22 days ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
176
click to vote
CP
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. There is no standard modelling language for constraint programming (CP) problems. Most solvers have their own modelling language. This makes it difficult for modellers to...
182
click to vote
EMMCVPR
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. This paper presents a Bayesian inference algorithm for image layer representation [26], 2.1D sketch [6], with mixed Markov random field. 2.1D sketch is an very important...
187
click to vote
EMSOFT
2007
Springer
16 years 22 days ago
2007
Springer
The emergence of standards for programming real-time systems in Java has encouraged many developers to consider its use for systems previously only built using C, Ada, or assembly...
154
click to vote
ER
2007
Springer
16 years 22 days ago
2007
Springer
It is increasingly recognised that user preferences should be addressed in many advanced database applications, such as adaptive searching in databases. However, the fundamental is...