Sciweavers

1581 search results - page 312 / 317
» Mechanizing Inductive Reasoning
Sort
View
CORR
1998
Springer
131views Education» more  CORR 1998»
13 years 7 months ago
Influencing Software Usage
Technology designers often strive to design systems that are flexible enough to be used in a wide range of situations. Software engineers, in particular, are trained to seek gener...
Lorrie Faith Cranor, Rebecca N. Wright
SOSYM
2002
188views more  SOSYM 2002»
13 years 7 months ago
Extending the Unified Modeling Language for ontology development
Abstract. There is rapidly growing momentum for web enabled agents that reason about and dynamically integrate the appropriate knowledge and services at run-time. The dynamic integ...
Kenneth Baclawski, Mieczyslaw M. Kokar, Paul A. Ko...
SCHOLARPEDIA
2008
76views more  SCHOLARPEDIA 2008»
13 years 5 months ago
Stomatogastric ganglion
ABSTRACT: The lobster stomatogastric ganglion contains 30 neurons and when modulated can produce two distinct rhythmic motor patterns--the gastric mill and the pyloric. The complet...
Allen I. Selverston
PERCOM
2010
ACM
13 years 5 months ago
Resilient image sensor networks in lossy channels using compressed sensing
—Data loss in wireless communications greatly affects the reconstruction quality of a signal. In the case of images, data loss results in a reduction in quality of the received i...
Scott Pudlewski, Arvind Prasanna, Tommaso Melodia
TAL
2010
Springer
13 years 5 months ago
Concept Based Representations for Ranking in Geographic Information Retrieval
Abstract. Geographic Information Retrieval (GIR) is a specialized Information Retrieval (IR) branch that deals with information related to geographical locations. Traditional IR en...
Maya Carrillo, Esaú Villatoro-Tello, Aureli...