Sciweavers

5122 search results - page 221 / 1025
» Comparing Consequence Relations
Sort
View
VL
2003
IEEE
146views Visual Languages» more  VL 2003»
15 years 9 months ago
A reading algorithm for constraint diagrams
Constraint diagrams are a visual notation designed to complement the Unified Modeling Language in the development of software systems. They generalize Venn diagrams and Euler cir...
Andrew Fish, Jean Flower, John Howse
IUI
2003
ACM
15 years 9 months ago
On-line personalization of a touch screen based keyboard
The user expectations for usability and personalization along with decreasing size of handheld devices challenge traditional keypad layout design. We have developed a method for o...
Johan Himberg, Jonna Häkkilä, Petri Kang...
164
Voted
CICLING
2003
Springer
15 years 9 months ago
Computing with Realizational Morphology
The theory of realizational morphology presented by Stump in his influential book Inflectional Morphology (2001) describes the derivation of inflected surface forms from underly...
Lauri Karttunen
ACSC
2002
IEEE
15 years 9 months ago
Representation and Reasoning for Goals in BDI Agents
A number of agent-oriented programming systems are based on a framework of beliefs, desires and intentions (BDI) and more explicitly on the BDI logic of Rao and Georgeff. In this ...
John Thangarajah, Lin Padgham, James Harland
NOMS
2002
IEEE
15 years 9 months ago
Message tracking in SOAP-based Web services
As web services become more prevalent, the nature of electronic transactions on the Internet changes from simple browser-to-business clicks to an orchestrated flow of messages bet...
Akhil Sahai, Vijay Machiraju, Jinsong Ouyang, Klau...