4745 search results - page 395 / 949 » Discretization: An Enabling Technique |
189
Voted
IJIT
2004
15 years 8 months ago
2004
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...
205
click to vote
CASCON
2000
15 years 8 months ago
2000
Information about a software system's execution can help a developer with many tasks, including software testing, performance tuning, and program understanding. In almost all...
174
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
A novel approach to multimodal optimization called Roaming Agent-Based Collaborative Evolutionary Model (RACE) combining several evolutionary techniques with agent-based modeling ...
174
click to vote
CG
2007
Springer
15 years 6 months ago
2007
Springer
Inter-object occlusion is inherent to 3D environments and is one of the challenges of using 3D instead of 2D computer graphics for visualization. Based on an analysis of this effe...
178
click to vote
NETWORK
2008
15 years 6 months ago
2008
Abstract--For a long time, traditional client-server communication was the predominant communication paradigm of the Internet. Network Address Translation devices (NAT) emerged to ...