11561 search results - page 2151 / 2313 » A Language for Biochemical Systems |
175
click to vote
ACL
2006
15 years 8 months ago
2006
Japanese case markers, which indicate the grammatical relation of the complement NP to the predicate, often pose challenges to the generation of Japanese text, be it done by a for...
166
click to vote
AVI
2004
15 years 8 months ago
2004
In this paper, we present our open source, platform independent toolkit for developing 3D talking agents, namely Xface. It relies on MPEG-4 Face Animation (FA) standard. The toolk...
164
click to vote
ASC
2006
15 years 8 months ago
2006
In [7] Maria I. Sessa extended the SLD resolution principle with the ability of performing approximate reasoning and flexible query answering. The operational mechanism of similar...
170
click to vote
CIIT
2004
15 years 8 months ago
2004
Vulnerabilities arising from in-secure network protocol design and implementation present significant challenges to the network protocol community. Yet much of the focus is on sof...
171
click to vote
CLIMA
2004
15 years 8 months ago
2004
Abstract. We present an encoding of a sequent calculus for a multiagent epistemic logic in Athena, an interactive theorem proving system for many-sorted first-order logic. We then ...