Search Sciweavers | Sciweavers

11561 search results - page 137 / 2313

» A Language for Biochemical Systems

148

click to vote

ACL
1989

100views Computational Linguistics» more ACL 1989»

A Hybrid Approach to Representation in the Janus Natural Language Processor

15 years 7 months ago

Download www.aclweb.org

In BBN's natural language understanding and generation system (Janus), we have used a hybrid approach to representation, employing an intensional logic for the representation...

Ralph M. Weischedel

claim paper

Read More »

148

click to vote

ICFP
2000
ACM

122views Programming Languages» more ICFP 2000»

Static enforcement of security with types

15 years 10 months ago

Download www.cs.jhu.edu

A number of security systems for programming languages have recently appeared, including systems for enforcing some form of ac

Christian Skalka, Scott F. Smith

claim paper

Read More »

141

click to vote

HYBRID
1994
Springer

89views Control Systems» more HYBRID 1994»

Programming in Hybrid Constraint Languages

15 years 10 months ago

Download www-cs-students.stanford.edu

Abstract. We present a language,Hybrid cc, for modeling hybrid systems compositionally. This language is declarative, with programs being understood as logical formulas that place ...

Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat,...

claim paper

Read More »

129

click to vote

ICEIS
2008
IEEE

192views Information Technology» more ICEIS 2008»

GUI Generation Based on Language Extensions - A Model to Generate GUI, based on Source Code with Custom Attributes

16 years 14 days ago