480 search results - page 62 / 96 » Specification for User Modeling with Self-Observing Systems |
CONCUR
2006
Springer
14 years 23 days ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...
DAGSTUHL
1993
13 years 10 months ago
1993
Abstract. We present the hybrid query language HQL/EER for an Extended Entity-Relationship model. As its main characteristic, this language allows a user to freely mix graphical an...
CIDR
2009
13 years 10 months ago
2009
Collaborative web applications such as Facebook, Flickr and Yelp present new challenges for storing and querying large amounts of data. As users and developers are focused more on...
SMILE
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. We present some recent progress in designing and implementing two interactive image-based 3D modeling systems. The first system constructs 3D models from a collection of ...
ICWS
2010
IEEE
13 years 7 months ago
2010
IEEE
Given the large amount of existing services and the diversified needs nowadays, it is time-consuming for end-users to find appropriate services. To help end-users obtain their desi...