Sciweavers

4041 search results - page 492 / 809
» A Model of Creative Understanding
Sort
View
AGP
2010
IEEE
15 years 11 months ago
Proof-Theoretic and Higher-Order Extensions of Logic Programming
We review the Italian contribution to proof-theoretic and higher-order extensions of logic programming; this originated from the realization that Horn clauses lacked standard abstr...
Alberto Momigliano, Mario Ornaghi
IWCMC
2010
ACM
15 years 11 months ago
Group detection in mobility traces
—Analysis and modeling of wireless networks greatly depend on understanding the structure of underlying mobile nodes. In this paper we present two clustering algorithms to determ...
Yung-Chih Chen, Elisha J. Rosensweig, Jim Kurose, ...
DEXAW
2002
IEEE
231views Database» more  DEXAW 2002»
15 years 11 months ago
A Cultural Heritage Forum Celebrating Technological Innovation at Station X
We aim to encourage and support public participation in heritage through the development of Cultural Heritage Forums, a kind of cultural web portal that enables active participati...
Trevor D. Collins, Paul Mulholland
ICRA
2002
IEEE
100views Robotics» more  ICRA 2002»
15 years 11 months ago
Back Flips with a Hexapedal Robot
We report on the design and analysis of a controller which can achieve dynamical self-righting of our hexapedal robot, RHex. We present an empirically developed control procedure ...
Uluc Saranli, Daniel E. Koditschek
181
Voted
VISUALIZATION
2002
IEEE
15 years 11 months ago
A Case Study on Multiresolution Visualization of Local Rainfall from Weather Radar Measurements
Weather radars can measure the backscatter from rain drops in the atmosphere. A complete radar scan provides three–dimensional precipitation information. For the understanding o...
Thomas Gerstner, Dirk Meetschen, Susanne Crewell, ...