10935 search results - page 1923 / 2187 » Neural Programming Language |
116
click to vote
SIGDIAL
2010
14 years 12 months ago
2010
This paper proposes a simple framework for building 'virtual networking agents'; programs that can communicate with users and collect information through the internet. T...
145
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
For `mixed-criticality' systems that have both critical and non-critical functions, the greatest leverage on dependability may be at the design level. By designing so that ea...
108
Voted
HPDC
2009
IEEE
14 years 11 months ago
2009
IEEE
In sporting event transmissions of international significance, broadcasting in each country is carried out by the owner of the rights for that particular country. The output signa...
232
click to vote
SCP
2011
14 years 9 months ago
2011
In the field of scientific computing there is a manifold of software applications and tools available which provide methods and libraries for the solution of very specific prob...
135
click to vote
NFM
2011
14 years 8 months ago
2011
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...