Sciweavers

2444 search results - page 137 / 489
» Feature Construction for Back-Propagation
Sort
View
ANSS
1997
IEEE
15 years 10 months ago
JSIM: A JAVA-Based Simulation and Animation Environment
In this paper, we present JSIM, a Java-based simulation and animation environment being developed at the University of Georgia. The JSIM library includes many Java classes to make...
John A. Miller, Rajesh S. Nair, Zhiwei Zhang, Hong...
ICPADS
1996
IEEE
15 years 10 months ago
Transactional programming for distributed agent systems
A new multiagent programmingparadigm based on the transactional logic model' is developed. This paradigm enables us to construct a Distributed agent transactional program (DA...
V. K. Murthy
TACAS
1997
Springer
87views Algorithms» more  TACAS 1997»
15 years 10 months ago
Integration in PVS: Tables, Types, and Model Checking
Abstract. We have argued previously that the e ectiveness of a veri cation system derives not only from the power of its individual features for expression and deduction, but from ...
Sam Owre, John M. Rushby, Natarajan Shankar
CRYPTO
2007
Springer
172views Cryptology» more  CRYPTO 2007»
15 years 10 months ago
Deterministic and Efficiently Searchable Encryption
We present as-strong-as-possible definitions of privacy, and constructions achieving them, for public-key encryption schemes where the encryption algorithm is deterministic. We ob...
Mihir Bellare, Alexandra Boldyreva, Adam O'Neill
APWEB
2006
Springer
15 years 10 months ago
WISE: A Prototype for Ontology Driven Development of Web Information Systems
Abstract. The development of Web Information Systems(WIS) is a hot research topic both in industry and academia. This paper presents a platform for ontology driven WIS development:...
Lv-an Tang, Hongyan Li, Baojun Qiu, Meimei Li, Jia...