1188 search results - page 99 / 238 » Testing Semantics: Connecting Processes and Process Logics |
135
Voted
ESWS
2007
Springer
15 years 8 months ago
2007
Springer
We propose to design and study new techniques for description logic (DL) reasoning based on a prominent data structure that has been applied very successfully in various domains in...
138
Voted
OMER
2001
15 years 5 months ago
2001
: Integrated model-based specification techniques facilitate the definition of seamless development processes for electronic control units (ECUs) including support for domain speci...
134
click to vote
DFT
2008
IEEE
15 years 10 months ago
2008
IEEE
Integrated circuits (IC) targeting at the streaming applications for tomorrow are becoming a fast growing market. Applications such as beamforming require mass computing capabilit...
155
click to vote
FORMATS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
138
Voted
AI
2011
Springer
14 years 11 months ago
2011
Springer
Logical filtering is the process of updating a belief state (set of possible world states) after a sequence of executed actions and perceived observations. In general, it is intr...