3799 search results - page 394 / 760 » An Engineering Approach to Formal Methods |
188
click to vote
TCS
2010
15 years 5 months ago
2010
Robustness, the ability to analyze any input regardless of its grammaticality, is a desirable property for any system dealing with unrestricted natural language text. Error-repair...
211
click to vote
DSS
2002
15 years 6 months ago
2002
Recent research has sought to develop formal languages for business communication as more expressive, flexible and powerful alternatives to current electronic data interchange (ED...
179
click to vote
IFM
2009
Springer
16 years 1 months ago
2009
Springer
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under verification. DPR is a very general...
199
click to vote
SAS
2007
Springer
16 years 27 days ago
2007
Springer
We present a framework for inductive definitions in the logic of bunched implications, BI, and formulate two sequent calculus proof systems for inductive reasoning in this framewo...
190
click to vote
SAC
2003
ACM
16 years 1 days ago
2003
ACM
Matchmaking is the problem of matching offers and requests, such as supply and demand in a marketplace, services and customers in a service agency, etc., where both partners are ...