Sciweavers

604 search results - page 87 / 121
» Segmentation of legal documents
Sort
View
DAC
2002
ACM
16 years 7 months ago
High-Level specification and automatic generation of IP interface monitors
A central problem in functional verification is to check that a circuit block is producing correct outputs while enforcing that the environment is providing legal inputs. To attac...
Marcio T. Oliveira, Alan J. Hu
ELPUB
2006
ACM
16 years 20 days ago
Serving Innovation in Scholarly Communication with the Open Platform "Digital Peer Publishing"
The internet causes a continuous emergence of novel forms of scholarly communication and collaboration. Electronic publishing provides a means for representing eventual outcomes o...
Wolfram Horstmann, Peter Reimer, Jochen Schirrwage...
ITICSE
2006
ACM
16 years 20 days ago
Foundational actions: teaching software engineering when time is tight
Often Software Engineering courses approach educating undergraduates in good processes and practices by using a simulated product development environment, following all of the ste...
Jerry Boetje
ICCBR
2005
Springer
16 years 6 days ago
Identifying Facts for TCBR
This paper explores a method to algorithmically distinguish case-specific facts from potentially reusable or adaptable elements of cases in a textual case-based reasoning (TCBR) sy...
Jason M. Proctor, Ilya Waldstein, Rosina Weber
WEBI
2005
Springer
16 years 5 days ago
WICER: A Weighted Inter-Cluster Edge Ranking for Clustered Graphs
Several algorithms based on link analysis have been developed to measure the importance of nodes on a graph such as pages on the World Wide Web. PageRank and HITS are the most pop...
Divya Padmanabhan, Prasanna Kumar Desikan, Jaideep...