Sciweavers

2934 search results - page 157 / 587
» Universality in Multi-Agent Systems
Sort
View
HCI
2007
15 years 7 months ago
Agile Methods and Visual Specification in Software Development: A Chance to Ensure Universal Access
Within the eEurope2010 initiative “An Information Society for All”, development methods which enable the inclusion of the end-user become essential in order to ensure the parad...
Thomas Memmel, Harald Reiterer, Andreas Holzinger
CASC
2010
Springer
160views Mathematics» more  CASC 2010»
15 years 5 months ago
Factorization of Polynomials and GCD Computations for Finding Universal Denominators
We discuss the algorithms which, given a linear difference equation with rational function coefficients over a field k of characteristic 0, compute a polynomial U(x) ∈ k[x] (a ...
Sergei A. Abramov, A. Gheffar, D. E. Khmelnov
ICFP
2003
ACM
16 years 6 months ago
An extension of HM(X) with bounded existential and universal data-types
We propose a conservative extension of HM(X), a generic constraint-based type inference framework, with bounded existential (a.k.a. abstract) and universal (a.k.a. polymorphic) da...
Vincent Simonet
ACL
2010
15 years 4 months ago
The Human Language Project: Building a Universal Corpus of the World's Languages
We present a grand challenge to build a corpus that will include all of the world's languages, in a consistent structure that permits large-scale cross-linguistic processing,...
Steven P. Abney, Steven Bird
JTAER
2006
100views more  JTAER 2006»
15 years 6 months ago
A Model for Improving e-Security in Australian Universities
As universities seek to adopt increased e-business, e-commerce and e-learning initiates, the overall approach taken for security management within the organisation plays an increa...
Lauren May, Tim Lane