950 search results - page 149 / 190 » Machine semantics |
139
Voted
SIGSOFT
2008
ACM
16 years 3 months ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
123
click to vote
VEE
2005
ACM
15 years 8 months ago
2005
ACM
The Progressive Deployment System (PDS) is a virtual execution environment and infrastructure designed specifically for deploying software, or “assets”, on demand while enabli...
119
click to vote
UML
2005
Springer
15 years 8 months ago
2005
Springer
Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and lea...
119
click to vote
CICLING
2003
Springer
15 years 7 months ago
2003
Springer
NLPsystem developers and corpus lexicographers would both bene t from a tool for nding and organizing the distinctive patterns of use of words in texts. Such a tool would be an ass...
173
click to vote
COLT
1994
Springer
15 years 6 months ago
1994
Springer
Inductive Logic Programming (ILP) involves the construction of first-order definite clause theories from examples and background knowledge. Unlike both traditional Machine Learnin...