4902 search results - page 315 / 981 » Structures, Semantics and Statistics |
189
click to vote
MTV
2006
IEEE
16 years 21 days ago
2006
IEEE
In this paper we will present an optimized structural 01X-SAT-solver for bounded model checking of blackbox designs that exploits semantical knowledge regarding the node selection...
153
click to vote
SYNASC
2005
IEEE
16 years 7 days ago
2005
IEEE
— A framework that describes the evolution of P systems with bounded parallelism is defined by introducing basic formal features that can be then integrated into a structural op...
165
click to vote
ICCHP
2004
Springer
16 years 1 days ago
2004
Springer
In this paper, we present a study which aims at designing a locomotion assistance device that can deliver semantic information about its surrounding environment at any time. As a ...
176
Voted
SWSTE
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper makes a case for the definition of a family of languages for expressing patterns over both the structure and semantics of source code. Our proposal is unique in that i...
189
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
The unfolding of a system represents in a single branching structure all its possible computations: it is the cornerstone both of semantical constructions and of efficient partial ...