624 search results - page 17 / 125 » A Structured Approach for Synthesizing Planners from Specifi... |
SAC
2002
ACM
14 years 11 months ago
2002
ACM
Event-based systems are developed and used as a coordination model to integrate components in loosely coupled systems. Research and product development focused so far on efficienc...
SYNTHESE
2011
14 years 6 months ago
2011
: Both realists and instrumentalists have found it difficult to understand (much less accept) Carnap’s developed view on theoretical terms, which attempts to stake out a neutral ...
91
Voted
VLSID
2002
IEEE
16 years 1 days ago
2002
IEEE
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...
95
Voted
DAC
1999
ACM
16 years 19 days ago
1999
ACM
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
128
click to vote
JAIR
2007
14 years 11 months ago
2007
One of the biggest challenges in the development and deployment of spoken dialogue systems is the design of the spoken language generation module. This challenge arises from the n...