262 search results - page 13 / 53 » A conversational interface to web automation |
ENTCS
2006
14 years 11 months ago
2006
In this paper, we describe a system, written in Haskell, for the automated verification of Web sites which can be used to specify (partial) correctness and completeness properties...
VL
2003
IEEE
15 years 5 months ago
2003
IEEE
Thispaper presents an approach to spatial specifications for Web information transformation'. Extended from the Reserved Graph Grammar (RGG), a Spatial Graph Grammar (SGG) is...
GROUP
2005
ACM
15 years 5 months ago
2005
ACM
VERN is an online collaborative tool that coordinates and distributes the process of finding optimal meeting times across the members of a group. The system combines the underlyin...
INTERSPEECH
2010
14 years 6 months ago
2010
The context in which a speech-driven application is used (or conversely not used) can be an important signal for recognition engines, and for spoken interface design. Using large-...
116
click to vote
NAR
2007
14 years 11 months ago
2007
Here we present Primer3Plus, a new web interface to the popular Primer3 primer design program as an enhanced alternative for the CGI- scripts that come with Primer3. Primer3 consi...