Sciweavers

8695 search results - page 300 / 1739
» Making the Complex Simple
Sort
View
COLING
1990
15 years 7 months ago
CLG(n): Constraint Logic Grammars
: CLG(2) is the latest member of a family of grammar formalisms centered around the notion of complex constraint expression for describing phrasal and iexical information and princ...
Sergio Balari, Giovanni B. Varile, Luís Dam...
IJHCI
2008
83views more  IJHCI 2008»
15 years 6 months ago
A Framework and an Environment for Collaborative Analysis of User Experience
senting them at different levels of abstraction. This can make the analysis complex and unwieldy, requiring teams of analysts to manage it. A new approach to managing the complexit...
Youn-Kyung Lim, Yvonne Rogers
154
Voted
IROS
2008
IEEE
130views Robotics» more  IROS 2008»
16 years 1 months ago
Flocking for multi-robot systems via the Null-Space-based Behavioral control
Abstract— In this paper the flocking problem for a multirobot system, consisting in making the robots of a team grouping together, is addressed. The flocking is achieved resort...
Gianluca Antonelli, Filippo Arrichiello, Stefano C...
NDSS
1999
IEEE
15 years 11 months ago
An Algebra for Assessing Trust in Certification Chains
Open networks allow users to communicate without any prior arrangements such as contractual agreement or organisation membership. However, the very nature of open networks makes a...
Audun Jøsang
DSVIS
1998
Springer
15 years 11 months ago
The Role of Verification in Interactive Systems Design
Abstract. In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required ...
José Creissac Campos, Michael D. Harrison