1312 search results - page 148 / 263 » Quantitative Comparison of Languages |
114
Voted
WSC
2000
15 years 2 months ago
2000
Simulation is used in the design process of dynamic systems. The results of simulation are employed for validating a model, and they are helpful for the improvement of the design ...
110
click to vote
CIKM
2010
Springer
14 years 11 months ago
2010
Springer
Web search is challenging partly due to the fact that search queries and Web documents use different language styles and vocabularies. This paper provides a quantitative analysis ...
125
Voted
IUI
2012
ACM
13 years 8 months ago
2012
ACM
As applications are developed, functional tests ensure they continue to function as expected. Nowadays, functional testing is mostly done manually, with human testers verifying a ...
191
Voted
GIS
2008
ACM
16 years 1 months ago
2008
ACM
Many aspects of spatial language concerned with relationships between spatial entities are essentially vague. Current GIS technology provides very little support for dealing with ...
84
Voted
FM
2009
Springer
15 years 7 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...