742 search results - page 30 / 149 » Considerations in Automated Marking |
EWCBR
2008
Springer
13 years 9 months ago
2008
Springer
ers in brackets denote the page numbers of the abstracts. If several authors are present then the one presenting is marked by an asterisk. Invited speakers Invited speakers Silbers...
GIS
2010
ACM
13 years 6 months ago
2010
ACM
We provide an algorithm that can construct a valid moving region from snapshots of a region in time. Our algorithm is robust in the sense that given valid input regions, the gener...
DLOG
2009
13 years 5 months ago
2009
Abstract. We show that the description logic SOQ with number restrictions on transitive roles is decidable by a terminating tableau calculus. The language decided by the calculus i...
LICS
1996
IEEE
13 years 11 months ago
1996
IEEE
In the automata-theoretic approach to verification, we translate specifications to automata. Complexity considerations motivate the distinction between different types of automata...
ISCAS
2005
IEEE
14 years 1 months ago
2005
IEEE
—Support Vector Machines are emerging as a powerful machine-learning tool. Logarithmic Number Systems (LNS) utilize the property of logarithmic compression for numerical operatio...