Sciweavers

5377 search results - page 857 / 1076
» Programming Languages For Interactive Computing
Sort
View
96
Voted
INTETAIN
2005
Springer
15 years 9 months ago
Webcrow: A Web-Based Crosswords Solver
Webcrow is a software system whose aim is to solve crosswords. Problems of like solving crosswords have been informally defined as AI-Complete and are extremely challenging for ma...
Giovanni Angelini, Marco Ernandes, Marco Gori
109
Voted
HCI
2007
15 years 5 months ago
Development of a Handheld User Interface Framework for Virtual Environments
This paper describes a design and implementation of a new handheld user interface framework called HIVE. HIVE provides the familiar 2D user interface on a mobile handheld computer ...
Seokhwan Kim, Yongjoo Cho, Kyoung Shin Park, Joa S...
123
Voted
SIGCSE
2009
ACM
155views Education» more  SIGCSE 2009»
16 years 4 months ago
Increasing engagement in automata theory with JFLAP
We describe the results from a two-year study with fourteen universities on presenting formal languages in a more visual, interactive and applied manner using JFLAP. In our result...
Susan H. Rodger, Eric Wiebe, Kyung Min Lee, Chris ...
129
Voted
WISE
2007
Springer
15 years 10 months ago
Modeling Distributed Events in Data-Intensive Rich Internet Applications
Abstract. Rich Internet applications (RIAs) enable novel usage scenarios by overcoming the traditional paradigms of Web interaction. Conventional Web applications can be seen as re...
Giovanni Toffetti Carughi, Sara Comai, Alessandro ...
139
Voted
ICSOC
2007
Springer
15 years 9 months ago
Verifying Temporal and Epistemic Properties of Web Service Compositions
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
Alessio Lomuscio, Hongyang Qu, Marek J. Sergot, Mo...