Sciweavers

28445 search results - page 627 / 5689
» Anatomically based modeling
Sort
View
ADC
2003
Springer
139views Database» more  ADC 2003»
15 years 10 months ago
Web Service Composition with Case-Based Reasoning
To run a smart E-Business or provide efficient Web service, a web services composition model is needed. Web services composition refers to the process of collaborating the heterog...
Benchaphon Limthanmaphon, Yanchun Zhang
135
Voted
ISMVL
2010
IEEE
188views Hardware» more  ISMVL 2010»
15 years 10 months ago
MDGs Reduction Technique Based on the HOL Theorem Prover
—Multiway Decision Graphs (MDGs) subsume Binary Decision Diagrams (BDDs) and extend them by a first-order formulae suitable for model checking of data path circuits. In this pap...
Sa'ed Abed, Otmane Aït Mohamed
SIGIR
1999
ACM
15 years 9 months ago
Information Retrieval Based on Context Distance and Morphology
We present an approach to information retrieval based on context distance and morphology. Context distance is a measure we use to assess the closeness of word meanings. This conte...
Hongyan Jing, Evelyne Tzoukermann
AINA
2006
IEEE
15 years 8 months ago
Refining WiFi Indoor Positioning Renders Pertinent Deploying Location-Based Multimedia Guide
If outdoor positioning is widely treated and quite precise, indoor or more generally in heterogeneous environment, the positioning (and also mobility prediction) requires conseque...
Frederic Lassabe, Philippe Canalda, Pascal Chatonn...
APN
2008
Springer
15 years 6 months ago
Faster Unfolding of General Petri Nets Based on Token Flows
In this paper we propose two new unfolding semantics for general Petri nets combining the concept of prime event structures with the idea of token flows developed in [11]. In contr...
Robin Bergenthum, Robert Lorenz, Sebastian Mauser