10848 search results - page 1813 / 2170 » Programming in Biomolecular Computation |
202
click to vote
ANLP
1994
15 years 8 months ago
1994
We present the advantages of guided sentences composition for communicating in natural language with computers. We show how guidance can be achieved by means of the partial synthe...
207
click to vote
USENIX
1993
15 years 8 months ago
1993
In teaching operating systems at an undergraduate level, we believe that it is important to provide a project that is realistic enough to show how real operating systems work, yet...
159
click to vote
IJCAI
1989
15 years 8 months ago
1989
This paper describes a program, called NEWTON, that finds approximate symbolic solutions to parameterized equations in one variable. N E W T O N derives an initial approximation b...
194
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
There has been significant recent interest in game theoretic approaches to security, with much of the recent research focused on utilizing the leader-follower Stackelberg game mod...
194
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...