4895 search results - page 634 / 979 » Tools for Grammar Engineering |
198
click to vote
ICFEM
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
168
click to vote
ICFEM
2004
Springer
16 years 3 days ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
158
Voted
ITS
2004
Springer
16 years 3 days ago
2004
Springer
The need for rapid and cost-effective development Intelligent Tutoring Systems with flexible pedagogical approaches has led to a demand for authoring tools. The authoring systems ...
197
click to vote
PROFES
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Software maintenance is the most expensive activity in software development. Many software companies spent a large amount of cost to maintain the existing software system...
184
click to vote
IAT
2003
IEEE
16 years 1 days ago
2003
IEEE
The design of a an agent system for robotics is a problem that involves aspects coming from many different disciplines (robotics, artificial intelligence, computer vision, softwa...