5216 search results - page 324 / 1044 » Planning as Model Checking |
141
click to vote
DBPL
2007
Springer
15 years 8 months ago
2007
Springer
Inclusion between XML types is important but expensive, and is much more expensive when unordered types are considered. We prove here that inclusion for XML types with interleavin...
167
click to vote
FMCAD
2007
Springer
15 years 8 months ago
2007
Springer
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
146
click to vote
BIRTHDAY
2009
Springer
15 years 6 months ago
2009
Springer
ProB is an animation and model checking tool for the B Method, which can deal with many interesting specifications. Some specifications, however, contain complicated functions whic...
122
Voted
ICCD
2007
IEEE
15 years 8 months ago
2007
IEEE
Transaction-level modeling (TLM) allows a designer to save functional verification effort during the modular refinement of an SoC by reusing the prior implementation of a module a...
149
click to vote
AIPS
2009
15 years 6 months ago
2009
Despite the extensive development of first-principles planning in recent years, planning applications are still primarily developed using knowledge-based planners which can exploi...