2861 search results - page 171 / 573 » Constraint Programming |
ISIPTA
2005
IEEE
15 years 3 months ago
2005
IEEE
Uncertainty is a key issue in decision analysis and other kinds of applications. Researchers have developed a number of approaches to address computations on uncertain quantities....
EMNLP
2007
14 years 11 months ago
2007
Sentence compression holds promise for many applications ranging from summarisation to subtitle generation and subtitle generation. The task is typically performed on isolated sen...
73
Voted
PTS
2010
14 years 8 months ago
2010
Recently there has been an upsurge of interest in both, Search– Based Software Testing (SBST), and Dynamic Symbolic Execution (DSE). Each of these two approaches has complementar...
108
click to vote
ICCAD
2009
IEEE
14 years 8 months ago
2009
IEEE
Wireless sensor networks hold the potential to open new domains to distributed data acquisition. However, such networks are prone to premature failure because some nodes deplete t...
106
click to vote
CORR
2004
Springer
14 years 10 months ago
2004
Springer
Data structures often use an integer variable to keep track of the number of elements they store. An invariant of such data structure is that the value of the integer variable is ...