123 search results - page 23 / 25 » Easily Adding Animations to Interfaces Using Constraints |
ECIR
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. The structural heterogeneity and complexity of XML repositories makes query formulation challenging for users who have little knowledge of XML. To assist its users, an XM...
DSN
2002
IEEE
14 years 1 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
BC
1998
13 years 8 months ago
1998
A simple analytical model is proposed here that captures to a large extent the kinematic structure of rat exploratory behavior. Previous studies have shown that such behavior consi...
JCPHY
2011
12 years 11 months ago
2011
We propose a novel method to implicitly two-way couple Eulerian compressible flow to volumetric Lagrangian solids. The method works for both deformable and rigid solids and for a...
ANZIIS
1996
IEEE
14 years 24 days ago
1996
IEEE
This paper describes the design and developmentof an expert system for tourist information center. The expert system was built to recommend a suitable travel schedule that satisfi...