210 search results - page 21 / 42 » Hob: A Tool for Verifying Data Structure Consistency |
ACL
2011
12 years 11 months ago
2011
Marking up search queries with linguistic annotations such as part-of-speech tags, capitalization, and segmentation, is an important part of query processing and understanding in ...
ACTA
2010
13 years 7 months ago
2010
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
GECCO
2003
Springer
14 years 27 days ago
2003
Springer
We have developed an evolutionary approach for the flexible docking that is now an important component of a rational drug design. This automatic docking tool, referred to as the G...
JSS
2007
13 years 7 months ago
2007
Without rigorous software development and maintenance, software tends to lose its original architectural structure and become difficult to understand and modify. ArchJava, a recen...
IJMI
2010
13 years 6 months ago
2010
In this paper, we discuss how profiles of communicative behaviour can be used to present and analyse information about role activity recorded through structured observation of spec...