8009 search results - page 265 / 1602 » cans 2005 |
163
click to vote
SAT
2005
Springer
16 years 2 days ago
2005
Springer
Many current local search algorithms for SAT fall into one of two classes. Random walk algorithms such as Walksat/SKC, Novelty+ and HWSAT are very successful but can be trapped for...
173
click to vote
SEKE
2005
Springer
16 years 2 days ago
2005
Springer
The emerging consensus on the boundaries and main elements of the Software Engineering (SE) discipline represents an opportunity for the engineering of shared conceptualizations t...
172
click to vote
SEKE
2005
Springer
16 years 2 days ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
168
click to vote
SEMWEB
2005
Springer
16 years 2 days ago
2005
Springer
Visiting museums is an increasingly popular pastime. Studies have shown that visitors can draw on their museum experience, long after their visit, to learn new things in practical ...
157
click to vote
SG
2005
Springer
16 years 2 days ago
2005
Springer
In this paper we tackle the main problem presented by the majority of Information Visualization techniques, that is, the limited number of data items that can be visualized simulta...