12981 search results - page 2538 / 2597 » Model Checking (Abstract) |
ICWE
2010
Springer
15 years 2 months ago
2010
Springer
Thousands of users are streamlining their Web interactions through user scripts using special weavers such as Greasemonkey. Thousands of programmers are releasing their scripts in ...
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract— We consider the simplest model for controlling the rotation of a molecule by the action of an electric field, namely a quantum planar pendulum. This problem consists i...
IBPRIA
2009
Springer
15 years 2 months ago
2009
Springer
ent abstract presents OASIS, an Online Algorithm for Scalable Image Similarity learning that learns a bilinear similarity measure over sparse representations. OASIS is an online du...
IWANN
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Ubiquitous computing research have extended traditional environments in the so–called Intelligent Environments. All of them use their capabilities for pursuing their in...
108
click to vote
PAKDD
2009
ACM
15 years 2 months ago
2009
ACM
Abstract. Over the last decade several prediction methods have been developed for determining structural and functional properties of individual protein residues using sequence and...