Sciweavers

13383 search results - page 2448 / 2677
» Abstractions from proofs
Sort
View
94
Voted
TNN
1998
125views more  TNN 1998»
15 years 13 days ago
Symbolic connectionism in natural language disambiguation
Abstract—Natural language understanding involves the simultaneous consideration of a large number of different sources of information. Traditional methods employed in language an...
Samuel W. K. Chan, James Franklin
101
Voted
TCSV
2002
121views more  TCSV 2002»
15 years 12 days ago
Rate-constrained multihypothesis prediction for motion-compensated video compression
Abstract-- This article investigates linearly combined motion-compensated signals for video compression. In particular, we discuss multiple motion-compensated signals that are join...
Markus Flierl, Thomas Wiegand, Bernd Girod
TELSYS
2002
131views more  TELSYS 2002»
15 years 12 days ago
Call Blocking Performance Study for PCS Networks under More Realistic Mobility Assumptions
Abstract. In the micro-cell-based PCS networks, due to the high user mobility, handoffs occur more frequently. Hence, the classical assumptions, such as the exponential assumptions...
Helen Zeng, Yuguang Fang, Imrich Chlamtac
VLDB
2002
ACM
108views Database» more  VLDB 2002»
15 years 12 days ago
Energy-performance trade-offs for spatial access methods on memory-resident data
Abstract. The proliferation of mobile and pervasive computing devices has brought energy constraints into the limelight. Energy-conscious design is important at all levels of syste...
Ning An, Sudhanva Gurumurthi, Anand Sivasubramania...
JAPLL
2008
100views more  JAPLL 2008»
15 years 8 days ago
Substantive and procedural norms in normative multiagent systems
Procedural norms are instrumental norms addressed to agents playing a role in the normative system, for example to motivate these role playing agents to recognize violations or to...
Guido Boella, Leendert van der Torre
« Prev « First page 2448 / 2677 Last » Next »