Sciweavers

1969 search results - page 141 / 394
» Incremental Processing and Acceptability
Sort
View
CSCLP
2006
Springer
15 years 10 months ago
A Constraint Model for State Transitions in Disjunctive Resources
Abstract. Traditional resources in scheduling are simple machines where a capacity is the main restriction. However, in practice there frequently appear resources with more complex...
Roman Barták, Ondrej Cepek
EUMAS
2006
15 years 7 months ago
Bidding Languages and Winner Determination for Mixed Multi-unit Combinatorial Auctions
We introduce a new type of combinatorial auction that allows agents to bid for goods to buy, for goods to sell, and for transformations of goods. One such transformation can be se...
Jesús Cerquides, Ulle Endriss, Andrea Giova...
ECIS
2000
15 years 7 months ago
Systems Development of Organizational Memory: A Literature Survey
Currently, there is no commonly accepted methodology for developing organizational memory systems (OM) that is comprehensive in the sense that it guides the development process fr...
Dov Te'eni, Hadas Weinberger
CORR
2008
Springer
98views Education» more  CORR 2008»
15 years 6 months ago
An Asymptotically Optimal RFID Authentication Protocol Against Relay Attacks
Abstract. Relay attacks are a major concern for RFID systems: during an authentication process an adversary transparently relays messages between a verifier and a remote legitimate...
Gildas Avoine, Aslan Tchamkerten
ICDAR
2009
IEEE
15 years 4 months ago
Syntactic Detection and Correction of Misrecognitions in Mathematical OCR
This paper proposes a syntactic method for detection and correction of misrecognized mathematical formulae for a practical mathematical OCR system. Linear monadic context-free tre...
Akio Fujiyoshi, Masakazu Suzuki, Seiichi Uchida