Sciweavers

1159 search results - page 115 / 232
» On The Next Move in Programming
Sort
View
128
Voted
APPINF
2003
15 years 2 months ago
An XML Viewer for Tabular Forms for Use with Mechanical Documentation
We deal with mechanical documentation in software development tools. First, we review tabular forms for program specification and their formal syntax by an attribute edNCE graph ...
Omasu Inoue, Kensei Tsuchida, Shin-ichi Nakagawa, ...
87
Voted
ACL
1994
15 years 2 months ago
Automatic Alignment in Parallel Corpora
This paper addresses the alignment issue in the framework of exploitation of large bimultilingual corpora for translation purposes. A generic alignment scheme is proposed that can...
Harris Papageorgiou, Lambros Cranias, Stelios Pipe...
103
Voted
WCET
2007
15 years 1 months ago
WCET Analysis: The Annotation Language Challenge
Worst-case execution time (WCET) analysis is indispensable for the successful design and development of systems, which, in addition to their functional constraints, have to satisf...
Raimund Kirner, Jens Knoop, Adrian Prantl, Markus ...
101
Voted
AIIDE
2009
15 years 1 months ago
Adapting Game-Playing Agents to Game Requirements
We examine the problem of self-adaptation in game-playing agents as the game requirements evolve incrementally. The goal of our current work is to develop an interactive environme...
Joshua Jones, Chris Parnin, Avik Sinharoy, Spencer...
115
Voted
IAT
2008
IEEE
15 years 24 days ago
A Game-Theoretic Approach to Determining Efficient Patrolling Strategies for Mobile Robots
Use of game-theoretic models to address patrolling applications has gained increasing interest in the very last years. The patrolling agent is considered playing a game against an...
Francesco Amigoni, Nicola Gatti, Antonio Ippedico