1284 search results - page 39 / 257 » On Helping and Interactive Proof Systems |
DGO
2011
12 years 8 months ago
2011
The past few years have seen an explosive growth in scientific and regulatory documents related to the patent system. Relevant information is siloed into many heterogeneous and di...
GW
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. The integration of more and more functionality into the human machine interface (HMI) of vehicles increases the complexity of device handling. Thus optimal use of differ...
FLAIRS
2006
13 years 10 months ago
2006
When knowledge systems are deployed into a real-world application, then the maintenance and the refinement of the knowledge are essential tasks. Many existing automatic knowledge ...
VISUALIZATION
2005
IEEE
14 years 2 months ago
2005
IEEE
Simulations often generate large amounts of data that require use of SciVis techniques for effective exploration of simulation results. In some cases, like 1D theory of fluid dyn...
ICDCSW
2002
IEEE
14 years 1 months ago
2002
IEEE
In the development of agent applications, interactions are an important issue, which must be faced with appropriate methodologies and tools. A separation of concerns between the a...