11561 search results - page 2006 / 2313 » A Language for Biochemical Systems |
200
click to vote
FOCS
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper continues the investigation of the connection between probabilistically checkable proofs PCPs the approximability of NP-optimization problems. The emphasis is on prov...
178
Voted
SIMUTOOLS
2008
15 years 8 months ago
2008
Embedded Peer-to-Peer Systems (EP2P) represent a new challenge in the development of software for distributed systems. The main objective of the SMEPP (Secure Middleware for Embed...
190
click to vote
DLOG
2003
15 years 8 months ago
2003
In this paper, we introduce RICE, a graphical application for interacting with the description logic inference server Racer. Comparing RICE with OilEd, we address the problem of v...
171
click to vote
WSC
1994
15 years 8 months ago
1994
Whether designing a new system or modifying an existing one, engineers want to take the guesswork out of finding the best possible solution. While there are many analysis methods ...
207
click to vote
ACL
1992
15 years 8 months ago
1992
The three-tiered discourse representation defined in (Luperfoy, 1991) is applied to multimodal humancomputer interface (HCI) dialogues. In the applied system the three tiers are (...