6456 search results - page 1008 / 1292 » Constraint Solving on Terms |
179
click to vote
ISPAN
2005
IEEE
16 years 7 days ago
2005
IEEE
In this paper, we propose the coordinated robust routing (CRR) scheme to address the fault tolerance requirements in the layered wireless sensor networks. In the proposed scheme, ...
173
click to vote
KBSE
2005
IEEE
16 years 7 days ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
168
click to vote
VLSID
2005
IEEE
16 years 6 days ago
2005
IEEE
The primary advantage of using 3D-FPGA over 2D-FPGA is that the vertical stacking of active layers reduce the Manhattan distance between the components in 3D-FPGA than when placed...
170
click to vote
IUI
2005
ACM
16 years 6 days ago
2005
ACM
We present PLIANT, a learning system that supports adaptive assistance in an open calendaring system. PLIANT learns user preferences from the feedback that naturally occurs during...
150
click to vote
IUI
2005
ACM
16 years 6 days ago
2005
ACM
Finding the optimal teaching strategy for an individual student is difficult even for an experienced teacher. Identifying and incorporating multiple optimal teaching strategies fo...