4290 search results - page 68 / 858 » Formal Approaches to Teamwork |
156
click to vote
HCI
2009
15 years 4 months ago
2009
Culture and affect are closely tied domains that have been considered separately in HCI until now. After carefully reviewing research done in each of those domains, a formal ontolo...
199
click to vote
FIW
1998
15 years 7 months ago
1998
We present a method to systematically detect feature interactions in requirements, which are expressed as constraints on system event traces. We show its application on the lift sy...
159
click to vote
ZUM
2005
Springer
15 years 12 months ago
2005
Springer
There is significant interest in the use of Z in conjunction with object-orientation. Here we present a new approach to structuring Z specifications in an object-oriented (OO) st...
149
click to vote
ICFCA
2010
Springer
16 years 1 months ago
2010
Springer
Concept lattices built on noisy data tend to be large and hence hard to interpret. We introduce several measures that can be used in selecting relevant concepts and discuss how the...
152
click to vote
NAACL
2010
15 years 4 months ago
2010
In a supertagging task, sequence labeling models are commonly used. But their limited ability to model long-distance information presents a bottleneck to make further improvements...