626 search results - page 87 / 126 » When Can Formal Methods Make a Real Difference |
127
Voted
ESWS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Geographic place names are semantically often highly ambiguous. For example, there are 491 places in Finland sharing the same name "Isosaari" (great island) tha...
144
Voted
EUSFLAT
2009
15 years 1 months ago
2009
Diverse forms of the concept of opposition are already existent in philosophy, linguistics, psychology and physics. The interplay between entities and opposite entities is apparent...
142
click to vote
SIGCOMM
2004
ACM
15 years 9 months ago
2004
ACM
All Internet routers contain buffers to hold packets during times of congestion. Today, the size of the buffers is determined by the dynamics of TCP’s congestion control algor...
164
Voted
RTSS
2005
IEEE
15 years 9 months ago
2005
IEEE
Recently there has been a growing interest in models and methods targeted towards the (co)design of stream processing applications; e.g. those for audio/video processing. Streams ...
147
Voted
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
One of the major difficulties when applying Multiobjective Evolutionary Algorithms (MOEA) to real world problems is the large number of objective function evaluations. Approximate...