Sciweavers

2664 search results - page 170 / 533
» Theory by Process
Sort
View
TCS
2002
13 years 8 months ago
ELAN from a rewriting logic point of view
ELAN implements computational systems, a concept that combines two first class entities: rewrite rules and rewriting strategies. ELAN can be used either as a logical framework or ...
Peter Borovanský, Claude Kirchner, Hé...
EOR
2011
111views more  EOR 2011»
13 years 3 months ago
On the distribution of the number stranded in bulk-arrival, bulk-service queues of the M/G/1 form
Bulk-arrival queues with single servers that provide bulk service are widespread in the real world, e.g., elevators in buildings, people-movers in amusement parks, air-cargo deliv...
Aykut F. Kahraman, Abhijit Gosavi
BIS
2011
342views Business» more  BIS 2011»
12 years 8 months ago
A Concept of the Knowledge Strategic Resource Network (SknowNet) for SMEs
This paper presents concept of the strategic knowledge resource network for SMEs. A strategic-knowledge resource in a company represents the knowledge, skills and capabilities of t...
Justyna Patalas-Maliszewska, Irene Krebs
TVCG
2012
179views Hardware» more  TVCG 2012»
11 years 10 months ago
Parallel Computation of 2D Morse-Smale Complexes
—The Morse-Smale complex is a useful topological data structure for the analysis and visualization of scalar data. This paper describes an algorithm that processes all mesh eleme...
Nithin Shivashankar, Senthilnathan M, Vijay Natara...
IWIC
2007
Springer
14 years 2 months ago
Hanzi Grid
Abstract. The long-term historical development and broad geographical variation of Chinese character (Hanzi/Kanji) has made it a crosscultural information sharing platform in East ...
Ya-Min Chou, Shu-Kai Hsieh, Chu-Ren Huang