5550 search results - page 372 / 1110 » Different Approaches to Proof Systems |
182
click to vote
ICIS
2000
15 years 8 months ago
2000
The Internet and corporate intranets provide far more information than anybody can absorb. People use search engines to find the information they require. However, these systems t...
175
click to vote
ICSOC
2009
Springer
15 years 4 months ago
2009
Springer
The FAST gadget development environment allows users to graphically compose intelligent, i.e., semantically annotated gadgets from predefined building blocks and deploy them on var...
178
Voted
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Heuristic Algorithms (HA) are very widely used to tackle practical problems in operations research. They are simple, easy to understand and inspire confidence. Many of these HAs a...
154
Voted
MISQ
2000
15 years 6 months ago
2000
This research considers whether interpretive techniques can be used to enhance our understanding of computer-mediated discussions. The case study considered in this research is th...
170
Voted
WCRE
2002
IEEE
15 years 11 months ago
2002
IEEE
Documentation generation is the process of creating the ocumentation at different levels of abstraction from the source code for a legacy system. The main goal is to help the stak...