Sciweavers

2794 search results - page 73 / 559
» A New Architecture for Automated Modelling
Sort
View
ACAL
2007
Springer
13 years 9 months ago
Modelling Architectural Visual Experience Using Non-linear Dimensionality Reduction
This paper addresses the topic of how architectural visual experience can be represented and utilised by a software system. The long-term aim is to equip an artificial agent with ...
Stephan K. Chalup, Riley Clement, Chris Tucker, Mi...
ISBI
2006
IEEE
14 years 8 months ago
A novel approximate inference approach to automated classification of protein subcellular location patterns in multi-cell images
The subcellular location of proteins is most often determined by visual interpretation of fluorescence microscope images. In recent years, automated systems have been developed so...
Shann-Ching Chen, Geoffrey J. Gordon, Robert F. Mu...
ICAIL
1995
ACM
13 years 11 months ago
Automated Legislative Drafting: Generating Paraphrases of Legislation
In this paper, we describe which roles deep structures of law play in (automatic) drafting legislation. Deep structures contain a formal description of the intended normative effe...
Radboud Winkels, Nienke den Haan
JAR
2000
97views more  JAR 2000»
13 years 7 months ago
A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...
Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
CCS
2011
ACM
12 years 7 months ago
VMCrypt: modular software architecture for scalable secure computation
Garbled circuits play a key role in secure computation. Unlike previous work, which focused mainly on efficiency and automation aspects of secure computation, in this paper we foc...
Lior Malka