2705 search results - page 330 / 541 » Formal Ontology for Subject |
GRAPHICSINTERFACE
1997
14 years 4 days ago
1997
We present four empirical measures of the immediate usability of Graffiti, a character recognizer for pen-based computers. Since speed is fully controlled by the user, we measured...
ATAL
2010
Springer
13 years 12 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
COMPSEC
2006
13 years 10 months ago
2006
With the growing use of wireless networks and mobile devices, we are moving towards an era where location information will be necessary for access control. The use of location inf...
MTA
2007
13 years 10 months ago
2007
There are numerous applications where there is a need to rapidly infer a story about a given subject from a given set of potentially heterogeneous data sources. In this paper, we f...
SIAMAM
2010
13 years 9 months ago
2010
We study vesicles formed by lipid bilayers that are governed by an elastic bending energy and on which the lipids laterally separate forming two different phases. The energy laden...