3799 search results - page 211 / 760 » An Engineering Approach to Formal Methods |
ACL
2006
15 years 6 months ago
2006
We propose in this paper a method for quantifying sentence grammaticality. The approach based on Property Grammars, a constraint-based syntactic formalism, makes it possible to ev...
111
click to vote
IJCAI
1997
15 years 5 months ago
1997
The paper describes a transition logic, TL, and a deductive formalism for it. It shows how various important aspects (such as ramification, qualification, specificity, simultaneit...
118
click to vote
FMCO
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper provides an overview of an approach to coalgebraic modelling and refinement of state-based software components, summing up some basic results and introducing a...
142
click to vote
ICIW
2008
IEEE
15 years 11 months ago
2008
IEEE
—Semantic web service composition is about finding services from a repository that are able to accomplish a specified task if executed. The task is defined in a form of a comp...
163
click to vote
COMPSAC
2009
IEEE
15 years 9 months ago
2009
IEEE
—Recent advances in mobile handheld devices have facilitated the ubiquitous availability of location based services. Systems which provide location based services have always bee...