3273 search results - page 156 / 655 » types 2007 |
161
click to vote
EPIA
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we present a rule-based system for automatic extraction of definitions from Portuguese texts. As input, this system takes text that is previously annotated with morph...
147
click to vote
HOTOS
2007
IEEE
15 years 8 months ago
2007
IEEE
It is time for us to focus on sound analyses for our critical systems software--that is, we must focus on analyses that ensure the absence of defects of particular known types, ra...
152
click to vote
VISSYM
2007
15 years 7 months ago
2007
We present a set of techniques and design principles for the visualization of large dynamic software logs consisting of attributed change events, such as obtained from instrumenti...
165
click to vote
DALT
2007
Springer
15 years 6 months ago
2007
Springer
Online dispute resolution is becoming the main method when dealing with a conflict in e-commerce. A family of defeasible reasoning patterns is used to provide a useful link betwee...
123
click to vote
ENGL
2007
15 years 4 months ago
2007
Abstract— Chierchia [2, 3, 4], pointed out the inadequacy of Montague’s approach in the analysis of certain natural language constructions, such as nominalization and propositi...