Results 1 - 10 of 1,773

Preliminary design of jml: a behavioral interface specification language for java

by Gary T Leavens , Albert L Baker , Clyde Ruby - SIGSOFT Softw. Eng. Notes
"... Abstract JML is a behavioral interface specification language tailored to Java(TM). Besides pre-and postconditions, it also allows assertions to be intermixed with Java code; these aid verification and debugging. JML is designed to be used by working software engineers; to do this it follows Eiffel ..."
Abstract - Cited by 476 (40 self) - Add to MetaCart
Eiffel in using Java expressions in assertions. JML combines this idea from Eiffel with the model-based approach to specifications, typified by VDM and Larch, which results in greater expressiveness. Other expressiveness advantages over Eiffel include quantifiers, specification-only variables, and frame

E-commerce: The role of familiarity and trust

by David Gefen - Omega , 2000
"... Familiarity is a precondition for trust, claims Luhmann [28: Luhmann N. Trust and power. Chichester, UK: Wiley, 1979 (translation from German)], and trust is a prerequisite of social behavior, especially regarding important decisions. This study examines this intriguing idea in the context of the E- ..."
Abstract - Cited by 244 (7 self) - Add to MetaCart
Familiarity is a precondition for trust, claims Luhmann [28: Luhmann N. Trust and power. Chichester, UK: Wiley, 1979 (translation from German)], and trust is a prerequisite of social behavior, especially regarding important decisions. This study examines this intriguing idea in the context of the E

Using Multiple Segmentations to Discover Objects and their Extent in Image Collections

by Bryan C. Russell, Alexei A. Efros, Josef Sivic, William T. Freeman, Andrew Zisserman - CVPR
"... Given a large dataset of images, we seek to automatically determine the visually similar object and scene classes together with their image segmentation. To achieve this we combine two ideas: (i) that a set of segmented objects can be partitioned into visual object classes using topic discovery mode ..."
Abstract - Cited by 315 (26 self) - Add to MetaCart
Given a large dataset of images, we seek to automatically determine the visually similar object and scene classes together with their image segmentation. To achieve this we combine two ideas: (i) that a set of segmented objects can be partitioned into visual object classes using topic discovery

Diffusion kernels on graphs and other discrete input spaces

by Risi Imre Kondor, John Lafferty - in: Proceedings of the 19th International Conference on Machine Learning , 2002
"... The application of kernel-based learning algorithms has, so far, largely been confined to realvalued data and a few special data types, such as strings. In this paper we propose a general method of constructing natural families of kernels over discrete structures, based on the matrix exponentiation ..."
Abstract - Cited by 223 (5 self) - Add to MetaCart
idea. In particular, we focus on generating kernels on graphs, for which we propose a special class of exponential kernels called diffusion kernels, which are based on the heat equation and can be regarded as the discretization of the familiar Gaussian kernel of Euclidean space.

Degree operators and scope

by Irene Heim - In Semantics and Linguistic Theory , 2000
"... A familiar idea about gradable adjectives is that they denote relations between individuals and degrees. This is most transparent in constructions like (1), where we seem to be witnessing explicit reference to or quantification over degrees. (1) a. John is six feet tall. ..."
Abstract - Cited by 92 (1 self) - Add to MetaCart
A familiar idea about gradable adjectives is that they denote relations between individuals and degrees. This is most transparent in constructions like (1), where we seem to be witnessing explicit reference to or quantification over degrees. (1) a. John is six feet tall.

Diffusion kernels on graphs and other discrete structures

by Risi Imre Kondor, John Lafferty - In Proceedings of the ICML , 2002
"... The application of kernel-based learning algorithms has, so far, largely been confined to realvalued data and a few special data types, such as strings. In this paper we propose a general method of constructing natural families of kernels over discrete structures, based on the matrix exponentiation ..."
Abstract - Cited by 176 (4 self) - Add to MetaCart
idea. In particular, we focus on generating kernels on graphs, for which we propose a special class of exponential kernels, based on the heat equation, called diffusion kernels, and show that these can be regarded as the discretisation of the familiar Gaussian kernel of Euclidean space.

Reinventing the familiar: Exploring an augmented reality design space for air traffic control

by Wendy E Mackay , Anne-&am-E Fayard , Laurent Frobert , Lionel Mtfdini - Proceedings of CHI '98 Conference on Human Factors in Computing Systems, 558–565 , 1998
"... ABSTRACT This paper describes our exploration of a design space for an augmented reality prototype. We began by observing air traffic controllers and their interactions with paper flight strips. We then worked with a multi-disciplinary team of researchers and controllers over a period of a year to ..."
Abstract - Cited by 76 (8 self) - Add to MetaCart
to brainstorm and prototype ideas for enhancing paper flight strips, We argue that augmented reality is more promising (and simpler to implement) than the current strategies that seek to replace flight strips with keyboard/monitor interfaces. We also argue that an exploration of the design space, with active

Familiarization to Robot Motion

by Anca D. Dragan, Siddhartha S. Srinivasa
"... We study the e↵ect of familiarization on the predictability of robot motion. Predictable motion is motion that matches the observer’s expectation. Because of the diculty robots have in learning motion from user demonstrations, we ex-plore the idea of having users learn from robot demonstra-tions — h ..."
Abstract - Cited by 3 (3 self) - Add to MetaCart
We study the e↵ect of familiarization on the predictability of robot motion. Predictable motion is motion that matches the observer’s expectation. Because of the diculty robots have in learning motion from user demonstrations, we ex-plore the idea of having users learn from robot demonstra-tions

familiar with are Library of Congress

by Standard Book, Numbers Jones
"... of the book: some of the figures have print so small they are difficult to read. Although I found useful ideas in all five chapters of the next section, “Visions: New Ideas for Bibliographic Control and Catalogs, ” I will limit my discussion to just three contributions. Ed Jones makes a strong case ..."
Abstract - Add to MetaCart
of the book: some of the figures have print so small they are difficult to read. Although I found useful ideas in all five chapters of the next section, “Visions: New Ideas for Bibliographic Control and Catalogs, ” I will limit my discussion to just three contributions. Ed Jones makes a strong case

Age and Familiarity in Memory

by John C. Thomas, Nancy C. Waugh, James L. Fozard
"... Sixty-five healthy males (31 to 75 years old) memorized lists of six letters (familiar or unfamiliar organization). Letters were then presented singly, and subjects responded yes or no according to whether a given letter was in the memorized set. Subjects of all ages took longer to respond in the ca ..."
Abstract - Add to MetaCart
Sixty-five healthy males (31 to 75 years old) memorized lists of six letters (familiar or unfamiliar organization). Letters were then presented singly, and subjects responded yes or no according to whether a given letter was in the memorized set. Subjects of all ages took longer to respond
Results 1 - 10 of 1,773