Sciweavers

2989 search results - page 180 / 598
» Using Domain-Independent Problems for Introducing Formal Met...
Sort
View
CVPR
2007
IEEE
16 years 4 days ago
Improved Video Registration using Non-Distinctive Local Image Features
The task of registering video frames with a static model is a common problem in many computer vision domains. The standard approach to registration involves finding point correspo...
Robin Hess, Alan Fern
71
Voted
JNCA
2007
143views more  JNCA 2007»
14 years 10 months ago
Detecting feature interactions in CPL
An approach for detecting feature interactions in IETF’s Call Processing Language (CPL) scripts is presented. The approach is logic based in the sense that it uses a logic repre...
Yiqun Xu, Luigi Logrippo, Jacques Sincennes
LOBJET
2000
84views more  LOBJET 2000»
14 years 10 months ago
Typing Concurrent Objects and Actors
ABSTRACT. As informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal me...
Fabien Dagnat, Marc Pantel, Matthias Colin, Patric...
AMET
1998
Springer
15 years 2 months ago
Bidding Strategies for Trading Agents in Auction-Based Tournaments
Abstract. Auction-based electronic commerce is an increasingly interesting domain for AI researchers. In this paper we present an attempt towards the construction of trading agents...
Pere Garcia, Eduardo Giménez, Lluis Godo, J...
ATAL
1998
Springer
15 years 2 months ago
Intention Reconsideration Reconsidered
Abstract. In this paper, we consider the issue of designing agents that successfully balance the amount of time spent in reconsidering their intentions against the amount of time s...
Michael Wooldridge, Simon Parsons