8874 search results - page 1705 / 1775 » A New Implementation of Automath |
ANTSW
2008
Springer
14 years 8 hour ago
2008
Springer
An adaptive particle swarm optimization (APSO) that features better search efficiency than classical particle swarm optimization (PSO) is presented. More importantly, it can perfor...
ASPLOS
2008
ACM
14 years 5 hour ago
2008
ACM
Today's system programmers go to great lengths to extend the languages in which they program. For instance, system-specific compilers find errors in Linux and other systems, ...
ASPLOS
2008
ACM
14 years 4 hour ago
2008
ACM
Indirect jump instructions are used to implement increasinglycommon programming constructs such as virtual function calls, switch-case statements, jump tables, and interface calls...
ATAL
2008
Springer
14 years 4 hour ago
2008
Springer
Currently, state of the art virtual agents lack the ability to display emotion as seen in actual humans, or even in hand-animated characters. One reason for the emotional inexpres...
AUTONOMICS
2008
ACM
14 years 2 hour ago
2008
ACM
In this paper, we present a real application system based on wireless sensor network (WSN) for fence surveillance which is implemented on our development platform for WSN, called ...