8009 search results - page 73 / 1602 » cans 2005 |
128
Voted
KES
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a system for recognizing sketched logic circuits in real-time and graphically simulating them afterwords. It has been developed for use in university and school...
133
click to vote
LPAR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving auto...
170
Voted
WWIC
2005
Springer
15 years 9 months ago
2005
Springer
Today’s public Wireless LANs are restricted to hotspots. With the current technology, providers can only target a small audience and in turn charge high prices for their service ...
136
Voted
ICNC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Through task decomposition and module combination, minmax modular support vector machines (M3 -SVMs) can be successfully used for difficult pattern classification task. ...
147
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
Software engineers usually represent problems and solutions aph-based notations at different levels of abstractions. These notations are often semi-formal, but the use of graph tr...