3937 search results - page 670 / 788 » Questioning Ubiquitous Computing |
COGSCI
2004
13 years 7 months ago
2004
Four different kinds of grammars that can define crossing dependencies in human language are compared here: (i) context sensitive rewrite grammars with rules that depend on contex...
AI
2000
Springer
13 years 7 months ago
2000
Springer
We introduce an alternative conceptual basis for default reasoning in Reiter's default logic. In fact, most formal or computational treatments of default logic suffer from th...
BIOINFORMATICS
2002
13 years 7 months ago
2002
Motivation: There has been considerable interest in developing computational techniques for inferring genetic regulatory networks from whole-genome expression profiles. When expre...
EATCS
2000
13 years 7 months ago
2000
Formulas of Hoare logic are asserted programs where is a program and , are assertions. The language of programs varies; in the survey [Apt 1980], one finds the language of wh...
CORR
2002
Springer
13 years 7 months ago
2002
Springer
It is widely accepted that (1) the natural or folded state of proteins is a global energy minimum, and (2) in most cases proteins fold to a unique state determined by their amino ...