2881 search results - page 551 / 577 » Model Checking for Programming Languages using Verisoft |
119
click to vote
ACL
2008
15 years 3 months ago
2008
Discriminative feature-based methods are widely used in natural language processing, but sentence parsing is still dominated by generative methods. While prior feature-based dynam...
125
click to vote
DM
2007
15 years 1 months ago
2007
Switch-setting games like Lights Out are typically modelled as a graph, where the vertices represent switches and lamps, and the edges capture the switching rules. We generalize t...
119
click to vote
HICSS
2011
IEEE
14 years 5 months ago
2011
IEEE
— Decision optimization is used in many applications such as those for finding the best course of action in emergencies. However, optimization solutions require considerable mat...
122
click to vote
IEEEPACT
2007
IEEE
15 years 8 months ago
2007
IEEE
Effective use of communication networks is critical to the performance and scalability of parallel applications. Partitioned Global Address Space languages like UPC bring the pro...
112
click to vote
ECOOP
2005
Springer
15 years 7 months ago
2005
Springer
Software modeling has received a lot a of attention in the last decade and now is an important support for the design process. Actually, the design process is very important to the...