Sciweavers

13383 search results - page 2631 / 2677
» Abstractions from proofs
Sort
View
IJMMS
2002
108views more  IJMMS 2002»
13 years 7 months ago
Modelling multiple mind-matter interaction
Relations between mental and physical aspects of an agent can be of various types. Sensing and acting are among the more commonly modelled types. In agent modelling approaches ofte...
Catholijn M. Jonker, Jan Treur
CORR
1998
Springer
96views Education» more  CORR 1998»
13 years 7 months ago
Similarity-Based Models of Word Cooccurrence Probabilities
Abstract. In many applications of natural language processing (NLP) it is necessary to determine the likelihood of a given word combination. For example, a speech recognizer may ne...
Ido Dagan, Lillian Lee, Fernando C. N. Pereira
DTJ
1998
171views more  DTJ 1998»
13 years 7 months ago
Measurement and Analysis of C and C++ Performance
ir increasing use of abstraction, modularity, delayed binding, polymorphism, and source reuse, especially when these attributes are used in combination. Modern processor architectu...
Hemant G. Rotithor, Kevin W. Harris, Mark W. Davis
COMPUTER
1999
95views more  COMPUTER 1999»
13 years 7 months ago
Wide-Area Computing: Resource Sharing on a Large Scale
abstract over a complex set of resources and provide a high-level way to share and manage them over the network. To be effective, such a system must address the challenges posed by...
Andrew S. Grimshaw, Adam Ferrari, Frederick Knabe,...
JUCS
2002
116views more  JUCS 2002»
13 years 7 months ago
Bounded Flooding Routing Algorithm for Provisioning the Globally Optimal Route in a Hierarchical ATM Network
: ATM virtual path (VP) contains bundles of virtual channels (VCs). A VP layer network can be used as a server layer network of VC layer networks and each VC layer network can be a...
Daniel Won-Kyu Hong, Choong Seon Hong, Dong-Sik Yu...
« Prev « First page 2631 / 2677 Last » Next »