Sciweavers

10493 search results - page 373 / 2099
» Dynamic Word Problems
Sort
View
FAC
2010
106views more  FAC 2010»
15 years 4 months ago
Automatic verification of Java programs with dynamic frames
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Sc...
WWW
2008
ACM
16 years 7 months ago
Hidden sentiment association in chinese web opinion mining
The boom of product review websites, blogs and forums on the web has attracted many research efforts on opinion mining. Recently, there was a growing interest in the finergrained ...
Qi Su, Xinying Xu, Honglei Guo, Zhili Guo, Xian Wu...
ICIP
2000
IEEE
16 years 7 months ago
Combined Dynamic Tracking and Recognition of Curves with Application to Road Detection
We present an algorithm that extracts the largest shape within a specificclass, starting from a set of image edgels. The algorithm inherits the Best-First Segmentation approach [jp...
Frederic Guichard, Jean-Philippe Tarel
MSN
2005
Springer
165views Sensor Networks» more  MSN 2005»
16 years 5 days ago
Enhanced Power Saving for IEEE 802.11 WLAN with Dynamic Slot Allocation
In the area of wireless mobile communication, minimizing energy consumption as well as maximizing data throughput in medium access control (MAC) layer is a very important research ...
Changsu Suh, Young-Bae Ko, Jai-Hoon Kim
EWLR
1999
Springer
15 years 11 months ago
Toward Seamless Transfer from Simulated to Real Worlds: A Dynamically-Rearranging Neural Network Approach
In the field of evolutionary robotics artificial neural networks are often used to construct controllers for autonomous agents, because they have useful properties such as the ab...
Peter Eggenberger, Akio Ishiguro, Seiji Tokura, To...