Sciweavers

4231 search results - page 54 / 847
» Using Language More Responsibly
Sort
View
DASFAA
2005
IEEE
128views Database» more  DASFAA 2005»
15 years 11 months ago
XDO2: A Deductive Object-Oriented Query Language for XML
In the past decade, researchers have combined deductive and object-oriented features to produce systems that are powerful and have excellent modeling capabilities. More recently, a...
Wei Zhang, Tok Wang Ling, Zhuo Chen, Gillian Dobbi...
BMCBI
2004
123views more  BMCBI 2004»
15 years 5 months ago
A two-way interface between limited Systems Biology Markup Language and R
Background: Systems Biology Markup Language (SBML) is gaining broad usage as a standard for representing dynamical systems as data structures. The open source statistical programm...
Tomas Radivoyevitch
ACL2
2006
ACM
15 years 12 months ago
A verifying core for a cryptographic language compiler
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
Lee Pike, Mark Shields, John Matthews
IJCNLP
2005
Springer
15 years 11 months ago
A Comparative Study of Language Models for Book and Author Recognition
Abstract. Linguistic information can help improve evaluation of similarity between documents; however, the kind of linguistic information to be used depends on the task. In this pa...
Özlem Uzuner, Boris Katz
NIPS
2008
15 years 7 months ago
Characterizing neural dependencies with copula models
The coding of information by neural populations depends critically on the statistical dependencies between neuronal responses. However, there is no simple model that can simultane...
Pietro Berkes, Frank Wood, Jonathan Pillow