Sciweavers

2909 search results - page 359 / 582
» Consistency of the theory of contexts
Sort
View
LREC
2010
139views Education» more  LREC 2010»
15 years 8 months ago
PASSAGE Syntactic Representation: a Minimal Common Ground for Evaluation
The current PASSAGE syntactic representation is the result of 9 years of constant evolution with the aim of providing a common ground for evaluating parsers of French whatever the...
Anne Vilnat, Patrick Paroubek, Eric Villemonte de ...
FORTE
2008
15 years 8 months ago
An SMT Approach to Bounded Reachability Analysis of Model Programs
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
Margus Veanes, Nikolaj Bjørner, Alexander R...
IJCAI
2007
15 years 8 months ago
Emotions as Durative Dynamic State for Action Selection
Human intelligence requires decades of full-time training before it can be reliably utilised in modern economies. In contrast, AI agents must be made reliable but interesting in r...
Emmanuel Tanguy, Philip J. Willis, Joanna Bryson
FORTE
2004
15 years 8 months ago
A Minimal Market Model in Ephemeral Markets
Abstract Peer-to-peer markets going mobile spur spontaneity in trading considerably. Spontaneity, however, imposes severe informational requirements on the market participants. Inf...
Daniel Rolli, Dirk Neumann, Christof Weinhardt
IADIS
2004
15 years 8 months ago
Telecollaboration - a case study for performance analysis of voip systems
The evolving nature of complex traffic issues of IP (Internet Protocol)-based Telecollaboration (TC) business system technology requires an intuitive understanding for the partici...
Venkatesh Mahadevan, Zenon Chaczko