GI 2009 - PDF Preprint Papers

GI 2009 GI (German Informatics Society) Annual Conference

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed GI-2009 Paper

click to vote

GI
2009
Springer

1270views Theoretical Computer Science» more GI 2009»

Strategic Interaction Definition Language

14 years 3 months ago

Download nandu.informatik.tu-freiberg.de

: Managing general game playing is the problem addressed in this paper. It is considered to be done on a game description written in a declarative language. The language, which is ...

Rustam Tagiew

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	1270	Strategic Interaction Definition Language	claim
2	520	NeuroQLab - A Software Assistant for Neurosurgical Planning and Quantitative Image Analysis	claim
3	368	Low Frequency Towed Active Sonar (LFTAS) in Multistatic Applications	claim
4	352	A Framework for Multiple Radar and Multiple 2D/3D Camera Fusion	claim
5	320	Putting Privacy Pictograms into Practice - a European Perspective	claim
6	282	SYGo - A Location-Based Game Adapted from the Board Game Scotland Yard	claim
7	270	AnToNIa: A Software Tool for the Hemodynamic Analysis of Cerebral Vascular Malformations Using 3D and 4D MRA Image Sequences	claim
8	266	Scent Marketing: Subliminal Advertising Messages	claim
9	254	An Eclipse Framework for Rapid Development of Rich-featured GEF Editors based on EMF Models	claim
10	238	Tracking Algorithms for Bistatic Sonar Systems	claim
11	231	Object-oriented application development with MeVisLab and Python	claim
12	229	A Framework for Visuo-Haptic Simulation of Puncture Interventions	claim
13	221	Area Preserving Parameterisation of Shapes with Spherical Topology	claim
14	217	Evaluating the Performance of an IMS/NGN Deployment	claim
15	207	Specification based testing of automotive human machine interfaces	claim
16	207	A Modular Framework to Detect and Analyze Faces for Audience Measurement Systems	claim
17	206	Service-oriented Event Assessment - Closing the Gap of IT Security Compliance Management	claim
18	205	Funktionale Gestaltungsoptionen von Online-Bewertungssystemen	claim
19	202	The Differential Geometric View of Statistics and Estimation	claim
20	195	Using Semantic UI Descriptions for Adaptive Mobile Games	claim
21	192	A BPMN Case Study: Paper Review and Submission System	claim
22	191	Bringing innovative Semantic Technology to Practice: The iQser Approach and its Use Cases	claim
23	190	Activity Recognition using Optical Sensors on Mobile Phones	claim
24	190	Automated GUI Testing Validation guided by Annotated Use Cases	claim
25	189	Deriving Taxonomies from Automatic Analysis of Group Membership Structure in Large Social Networks	claim
26	189	Applying Model-Driven Integration Engineering to e-business - striving towards a framework concept	claim
27	188	eMir: Digital Signs that react to Audience Emotion	claim
28	186	Barcode Application Innovation for Smartphones	claim
29	186	Direct Multi-Target Tracking and Multisensor Fusion Using Antenna Arrays	claim
30	184	Passive User Integration in Social Networking Services	claim
31	184	Gaussian Mixture (GM) Passive Localization using Time Difference of Arrival (TDOA)	claim
32	182	Applying Semantic Technologies for Context-Aware AAL Services: What we can learn from SOPRANO	claim
33	181	Improving Usability of Integrated Emergency Response Systems: The SoKNOS Approach	claim
34	181	Spontaneous and Privacy-friendly Mobile Indoor Routing and Navigation	claim
35	178	Extraction of Contextual Metadata from File System Interactions	claim
36	178	Modelling Missing Values for Audience Measurement in Outdoor Advertising Using GPS Data	claim
37	178	A reference architecture for the integration of EMIS and ERP-systems	claim
38	177	Reasoning about Contextual Equivalence: From Untyped to Polymorphically Typed Calculi	claim
39	176	Component Governance as a Key Factor for IT Business Alignment of Telecommunications Companies	claim
40	175	Tracking of Extended Objects and Group Targets using Random Matrices - A Performance Analysis	claim
41	174	Contact Fusion and Multi-Hypotheses Tracking for Low Frequency Active Sonar Data	claim
42	171	Selling the Aether - A New Billing Schema for Mobile Advertising	claim
43	171	An Abstract Location Model for Mobile Games	claim
44	171	Towards a Reference Model for the LifeWatch ICT Infrastructure	claim
45	170	Discovery of Smart Objects in Ubiquitous Environments and the Need for Interaction Metaphors	claim
46	170	Parallelised Gaussian Mixture Filtering for Vehicular Traffic Flow Estimation	claim
47	170	Applying Concept-Driven Engineering for Business Process Specifications	claim
48	169	Test your Strategy - Intuitive Strategy Definition and Evaluation for Novices and Experts	claim
49	167	Constraint Checking for Business Process Management	claim
50	165	An Automotive Perception System using Distance Cameras and Polar Occupancy Grids	claim
51	165	An Adaptative Framework for Tracking Web-based Learning Environments	claim
52	164	Control and safety architecture for a modular medical robot	claim
53	164	Project Planning Support by Model Checking	claim
54	164	Frontloading: Virtual Quality Assurance for Improved Service Launch Processes	claim
55	163	Source Conflicts in Bayesian Identification	claim
56	163	An Application for Simulations at Large Pickup and Delivery Service Providers	claim
57	163	Ontology Design for Information Integration in Disaster Management	claim
58	162	The Human Being as a Servo. Von Feedback Control zur Kybernetik	claim
59	161	True Lies: Lazy Contracts for Lazy Languages	claim
60	161	A Knowledge-Based System for the Specification of Variables in Clinical Trials	claim
61	160	Autonomous Units to Model Games	claim
62	159	Tracking an Extended Object Modeled as an Axis-Aligned Rectangle	claim
63	159	Fusion of IR/CCD Video Streams and Digital Terrain Models for Multi Target Tracking	claim
64	157	A Domain Specific Language for Project Execution Models	claim
65	157	Classifying Privacy and Verifiability Requirements for Electronic Voting	claim
66	156	A Browser-based UI Framework for Smart Interaction with Ambient Services	claim
67	156	Combined Optimization of Aircraft Maneuvers and RF Measurements for Passive Air-Air Ranging	claim
68	156	Ontological Modelling of Surgical Knowledge	claim
69	155	Smart mechatronic driver for surgical trajectory navigation	claim
70	153	En passant Coupon Collection	claim
71	153	An Evolutionary Strategy for Model-based Segmentation of Medical Data	claim
72	151	Flow-driven Interactions for Adaptive Pervasive Applications	claim
73	151	Erkennung von Schreibern mittels handgeschriebener Buchstaben	claim
74	151	A web service based approach for integrating statistics tools into an information system for experiment data	claim
75	150	Constraint-Based Task Scheduling with Sequence Dependent Setup Times, Time Windows and Breaks	claim
76	149	Mobile ortsbasierte Browserspiele	claim
77	148	A Game-Theoretic Model for Distributed Programming by Contract	claim
78	148	Process Modeling in the telco industry	claim
79	147	Challenges of Electronic CAD in the Nano Scale Era	claim
80	147	A Fly on the Wall at Standards Bodies' Working Groups	claim
81	147	Coarse graining of an individual-based plant model	claim
82	146	Constraint Functional Multicore Programming	claim
83	146	A Serious Mobile Game for Landmark Production - A Work in Progress Report	claim
84	146	Mobile computing in mass casualty incidents (MCIs)	claim
85	146	Information Fusion for Autonomous Robotic Weeding	claim
86	146	On Leveraging Business Processes to deal with Critical Success Factors	claim
87	143	An Architecture for Linguistic and Semantic Analysis on the arXMLiv Corpus	claim
88	143	Modellierung variantenreicher Funktionsnetze im Automotive Software Engineering	claim
89	143	Visual Twittering Using Mobile Phones in Pervasive Environments	claim
90	143	Visualization of the Influence of SDF on the TMA Solution Space	claim
91	142	Massively-Parallel Simulation of Biochemical Systems	claim
92	142	Taming Selective Strictness	claim
93	141	Elektronische Wahlen: Verifizierung vs. Zertifizierung	claim
94	140	Tapir: Language Support to Reduce the State Space in Model-Checking	claim
95	139	Introducing Community Single Sign-On for EDIT	claim
96	139	International Networking of Large Amounts of Primary Biodiversity Data	claim
97	138	Tokenized Interaction Architecture	claim
98	138	SCAMPI - Sensor Configuration and Aggregation Middleware for Multi Platform Interchange	claim
99	138	A Static Analysis Technique to Detect Unsatisfiable Conditions in Ontology-based Workflows	claim
100	137	Rao-Blackwellized Particle Filter for Security Surveillance	claim
101	137	VirtualPort - Simulation von logistischen Prozessen in Containerterminals	claim
102	137	Wie viel Computer steckt unter der Haut? Zur Geschichte der Patientensimulatoren	claim
103	136	Towards copy-evident JPEG images	claim
104	136	Content-sensitive User Interfaces for Annotated Web Pages	claim
105	136	Kontextsensitive Dienste auf Basis von Open-Source-Software	claim
106	136	Group Tracking in an Air Surveillance System	claim
107	135	Host Virtualization: A Taxonomy of Management Challenges	claim
108	134	Herausforderungen bei der Anpassung von Open Source Software an neue Einsatzbereiche	claim
109	134	Perspectives on Tag Clouds for Supporting Reflection in Self-organised Learning	claim
110	134	Reinventing Haskell Backtracking	claim
111	134	Mobile Camera Gaming: Using Camera Enabled Mobile Phones for Photo Playing	claim
112	134	A Strategically designed Persuasive Tool for an iPhone	claim
113	134	A Generic Approach for Modeling Test Case Priorities with Applications for Test Development and Execution	claim
114	132	Detecting Real User Tasks by Training on Laboratory Contextual Attention Metadata	claim
115	132	The Perception of Information and Advertisement Screens Mounted in Public Transportation Vehicles	claim
116	132	The B-Fabric Life Sciences Data Management System	claim
117	132	Direct Detection and Location of Multiple Sources with Intermittent Emission	claim
118	131	Towards Integrating Usability and Software Engineering Using the Mapache Approach	claim
119	131	Flache und semantische Verarbeitung von Namen biochemischer Verbindungen	claim
120	131	Automatic Population and Updating of a Semantic Wiki-based Configuration Management Database	claim
121	129	Kampagne versus Dialog? NGOs, Web 2.0 und die Weiterentwicklung kommunikativer Strategien	claim
122	129	Towards the impact of the operational environment on the security of e-voting	claim
123	128	Sensor Web and Geoprocessing Services for Pervasive Advertising	claim
124	128	Überleben Rechnen. Biologically Inspired Computing zwischen Panik und Crowd Control	claim
125	128	Das 5-Dollar-Neuron. Von biologischen Rechnern und rechnenden Biologen	claim
126	127	An Ontology Fusion Plus DSmT - that is the Fusion of the Fusion Approaches in C&C systems	claim
127	126	Towards Integration of Uncertain Sensor Data into Context-aware Workflows	claim
128	125	Engaging Passers-by with Interactive Screens - A Marketing Perspective	claim
129	125	An Improved Method for creating Shared Belief in Communication Constrained Sensor Networks	claim
130	123	On the Role of Evolvability for Architectural Design	claim
131	123	The relation between protocols and games	claim
132	123	Generating Product-based Availability Overviews for Fixed Line Network Access Points	claim
133	122	DiversityMobile - Mobile Data Retrieval Platform for Biodiversity Research Projects	claim
134	121	PaKo - Der mobile Patientenkoffer	claim
135	120	Towards a Parallel Search for Solutions of Non-deterministic Computations	claim
136	120	Implementation of an effective non-bonded interactions kernel for biomolecular simulations on the Cell processor	claim
137	119	Topic bias in the social media - The representation of political topics in Obama's 'Open for Questions'-campaign in comparison to traditional media and the blogosphere	claim
138	119	Sensor Integration in the Security Domain	claim
139	117	IT-Governance bei Wiederverwendung von Services	claim
140	116	Integration von Legacy-Anwendungen durch eine Beobachter-Architektur	claim
141	116	Mobile Anwendungen im Kontext des Medizinproduktegesetzes	claim
142	115	TaxiMedia: An Interactive Context-Aware Entertainment and Advertising System	claim
143	114	Planning Teams with Semantic Web Technologies	claim
144	113	Self-monitoring for Computer Users	claim
145	113	Herausforderungen der Technischen Informatik beim Unkonventionellen Rechnen	claim
146	113	Diagnosis, Synthesis and Analysis of Probabilistic Models	claim
147	113	The EDIT Cyberplatform for Taxonomy and the Taxonomic Workflow: Selected Components	claim
148	112	Modellbasierte Entwicklung und Automatische Code-Generierung für sicherheitskritische Anwendungen	claim
149	111	A Methodology for Model-Driven Development of Crisis Management Applications using Solverational	claim
150	111	Wie findet man die verantwortlichen Axiome? Axiom-Pinpointing in Beschreibungslogiken	claim
151	110	Open Source SW im industriellen Einsatz	claim
152	110	Use of Situation Awareness Data by the CDA	claim
153	107	Presence Sensing Billboards	claim
154	106	Datenschutz in Sozialen Netzwerken: Freund oder Feind?	claim
155	104	Enabling Services - Spezifikation plattformbasierter Vorleistungen in der Telekommunikation	claim
156	104	Towards an Integrated Product and Process Modelling: oEPC Markup Language (oEPML) for object-oriented Event-driven Process Chains (oEPC)	claim
157	103	Protecting Privacy in Context-aware Systems - Necessary or superfluous?	claim
158	103	Enhancing the Commander's Decision Aid to Network-Centric Platform Protection System Requirements	claim
159	100	Using Mobile Phones for Monitoring Physical Conditions	claim
160	92	Supervised, hysteresis-based segmentation of retinal images using the linear-classifier percentile	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers