4770 search results - page 152 / 954 » Flexible Type Analysis |
141
Voted
WETICE
1998
IEEE
15 years 8 months ago
1998
IEEE
The paper surveys the possible coordination models for mobile agent applications and evaluates them in the context of a widely distributed application in the area of WWW informati...
235
click to vote
Source Code
A great flexible easy to use C++ library that is intended for scientists and engineers. The library supports the following matrix types: Matrix (rectangular matrix), UpperTriangula...
149
Voted
CHI
2007
ACM
16 years 5 months ago
2007
ACM
This paper describes a new software platform for the interactive exploration of human performance models such as Fitts' law. The software is written in Java and provides a fl...
111
Voted
CHI
2002
ACM
16 years 4 months ago
2002
ACM
We introduce a new geometry manipulator, a tool for 2D geometrical object manipulations in drawing packages. The manipulator is an extended combination of two standard approaches....
111
click to vote
IAT
2008
IEEE
15 years 11 months ago
2008
IEEE
Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information. Modal logic deals with necessity and possibility, exhibiting defeasibility; t...