1397 search results - page 210 / 280 » On the Need for Practical Formal Methods |
134
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
ng-Lens Abstraction for Markov Decision Processes⋆ In Proc. of CAV 2007: 19th International Conference on Computer-Aided Verification, Lectures Notes in Computer Science. c Spri...
136
click to vote
IFL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Parser combinators, often monadic, are a venerable and widelyused solution to read data from some external format. However, the capability to return a partial parse has, ...
151
click to vote
CBMS
2006
IEEE
15 years 10 months ago
2006
IEEE
— Most biomedical research databases contain considerable amounts of time-oriented data. However, temporal knowledge about the contextual meaning of such data is not usually repr...
155
click to vote
KCAP
2005
ACM
15 years 10 months ago
2005
ACM
The paper reports on an exploratory case study where an organizational learning methodology was used to support knowledge sharing in a medium-sized distributed software developmen...
153
click to vote
KCAP
2005
ACM
15 years 10 months ago
2005
ACM
An ultimate goal of AI is to build end-to-end systems that interpret natural language, reason over the resulting logical forms, and perform actions based on that reasoning. This r...