3006 search results - page 194 / 602 » Overview |
121
Voted
AAI
2007
15 years 3 months ago
2007
Multi-representation reasoning processes often show a variety of reasoning paths that can be followed. To analyse such reasoning processes with special attention for differences b...
118
Voted
AMAI
2007
Springer
15 years 3 months ago
2007
Springer
This paper is an overview of a variety of results, all centered around a common theme, namely embedding of non-classical logics into first order logic and resolution theorem prov...
116
Voted
BMCBI
2008
15 years 3 months ago
2008
In this meeting report we give an overview of the talks and presentations from the Fourth International Society for Computational Biology (ISCB) Student Council Symposium held as ...
108
Voted
DAM
2008
15 years 3 months ago
2008
We give an overview on twisting commutative algebraic groups and applications to discrete log based cryptography. We explain how discrete log based cryptography over extension fie...
126
Voted
DEBU
2008
15 years 3 months ago
2008
Testing is one of the most expensive and time consuming activities in the software development cycle. In order to reduce the cost and the time to market, many approaches to automa...