3706 search results - page 202 / 742 » KtSeqC: System Description |
185
click to vote
AAMAS
2008
Springer
15 years 6 months ago
2008
Springer
Abductive reasoning is a well established field of Artificial Intelligence widely applied to different problem domains not least cognitive robotics and planning. It has been used ...
165
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Based on the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach that uses timed automata. It yields a refined quali...
161
click to vote
EURODAC
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper describes an approach for VHDL-based communication and synchronization synthesis. This design step transforms a system level VHDL description into an RT-level descripti...
158
click to vote
WICSA
2008
15 years 8 months ago
2008
Processes and techniques for the development of enterprise software are best served when infused with practical experience. Pragmatic reflection on what works and what doesn'...
168
click to vote
AAAI
2000
15 years 8 months ago
2000
Spatio-temporal data sets arise when time-varying physical fields are discretized for simulation or analysis. Examples of time-varying fields are isothermal regions in the sea or ...