3799 search results - page 201 / 760 » An Engineering Approach to Formal Methods |
120
click to vote
NAACL
2007
15 years 5 months ago
2007
In word sense disambiguation, choosing the most frequent sense for an ambiguous word is a powerful heuristic. However, its usefulness is restricted by the availability of sense-an...
148
Voted
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
Interest in Graphical Processing Units (GPUs) is skyrocketing due to their potential to yield spectacular performance on many important computing applications. Unfortunately, writ...
147
click to vote
CBSE
2011
Springer
14 years 4 months ago
2011
Springer
Software components are increasingly assembled from other components. Each component may further depend on others, and each may have multiple active versions. The total number of ...
119
click to vote
APSEC
1999
IEEE
15 years 8 months ago
1999
IEEE
The ability to treat code as data within a programming language is a powerful feature. Smalltalk introduces an object called a block that represents code as data. We propose a for...
160
click to vote
ECSA
2008
Springer
15 years 6 months ago
2008
Springer
Reference architectures provide major guidelines for the structure of a class of information systems. Because of their fundamental role, reference architectures have to be of high ...