4084 search results - page 715 / 817 » Constraints in spatial structures |
120
click to vote
FSEN
2007
Springer
15 years 5 months ago
2007
Springer
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulae. Test cases are modeled as ground formulae and any spe...
HT
2007
ACM
15 years 5 months ago
2007
ACM
Authorship entails the constrained selection or generation of media and the organization and layout of that media in a larger structure. But authorship is more than just selection...
130
click to vote
APPROX
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. This paper investigates the relationship between the dimension theory of partial orders and the problem of scheduling precedenceconstrained jobs on a single machine to mi...
111
click to vote
DASFAA
2004
IEEE
15 years 5 months ago
2004
IEEE
XML is becoming the standard data exchange format. View transformation of XML data is important and frequent operation in XML data integration and publishing. In schema-based view ...
123
click to vote
CICLING
2006
Springer
15 years 5 months ago
2006
Springer
In this paper a theory of dialogue acts analysis in problem-solving tasks-oriented conversations is presented. The theory postulates that in practical dialogues every transaction h...