4854 search results - page 155 / 971 » It's the Programming, Stupid |
193
click to vote
ENTCS
2006
15 years 7 months ago
2006
Partial functions and operators are used extensively in the formal development of programs and thus development methods have to clarify how to reason about them. There are a numbe...
206
click to vote
IJAR
2007
15 years 7 months ago
2007
When integrating data coming from multiple different sources we are faced with the possibility of inconsistency in databases. A paraconsistent approach for knowledge base integra...
195
click to vote
IJCSA
2007
15 years 7 months ago
2007
This article presents experiences in the automation of a testing process. The main goal is the unified testing of not only one program, but a whole family of programs. The family ...
170
click to vote
ANOR
2005
15 years 7 months ago
2005
: The vertex coloring problem has been the subject of extensive research for many years. Driven by application potential as well as computational challenge, a variety of methods ha...
185
click to vote
TSMC
2008
15 years 6 months ago
2008
A constrained approximate dynamic programming (ADP) approach is presented for designing adaptive neural network (NN) controllers with closed-loop stability and performance guarante...