4231 search results - page 505 / 847 » Using Language More Responsibly |
153
Voted
ASE
2008
15 years 5 months ago
2008
In the last years several efforts have been devoted by researchers in the Requirements Engineering community to the development of methodologies for supporting designers during req...
138
Voted
INFSOF
2006
15 years 5 months ago
2006
The parametric data model captures an object in terms of a single tuple. This feature eliminates unnecessary self-join operations to combine tuples scattered in a temporal relatio...
109
click to vote
JOLLI
2008
15 years 5 months ago
2008
While monadic second-order logic (MSO) has played a prominent role in model theoretic syntax, modal logics have been used in this context since its inception. When comparing propos...
139
click to vote
ENTCS
2007
15 years 5 months ago
2007
The timed concurrent constraint programming language (tccp in short) was introduced for modeling reactive systems. This language allows one to model in a very intuitive way typica...
122
click to vote
SIGIR
2008
ACM
15 years 5 months ago
2008
ACM
Topical noise in blogs arises when bloggers digress from the central topical thrust of their blogs. We introduce a method to explicitly incorporate a model of topical noise into a...