3505 search results - page 630 / 701 » A Language for Human Action |
ITNG
2008
IEEE
15 years 6 months ago
2008
IEEE
We propose the characteristics of a software tool that leverages specifying attack pattern details in understandable hierarchies. These hierarchies are currently manually populate...
LAWEB
2008
IEEE
15 years 6 months ago
2008
IEEE
Today, with the proliferation of affordable computing, people use multiple devices to fulfill their information needs. Designers approach each device platform individually, with...
132
click to vote
WISE
2008
Springer
15 years 6 months ago
2008
Springer
Semantic relatedness measures quantify the degree in which some words or concepts are related, considering not only similarity but any possible semantic relationship among them. Re...
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
Well designed domain specific languages enable the easy expression of problems, the application of domain specific optimizations, and dramatic improvements in productivity for t...
111
click to vote
LICS
2007
IEEE
15 years 6 months ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...