Sciweavers

2917 search results - page 219 / 584
» Satisfying Interaction Constraints
Sort
View
IJCNLP
2004
Springer
16 years 4 days ago
Bilingual Chunk Alignment Based on Interactional Matching and Probabilistic Latent Semantic Indexing
Abstract. An integrated method for bilingual chunk partition and alignment, called “Interactional Matching”, is proposed in this paper. Different from former works, our method...
Feifan Liu, Qianli Jin, Jun Zhao, Bo Xu
FM
2003
Springer
146views Formal Methods» more  FM 2003»
16 years 1 hour ago
Interacting State Machines for Mobility
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
Thomas A. Kuhn, David von Oheimb
VLDB
2001
ACM
108views Database» more  VLDB 2001»
15 years 11 months ago
Potter's Wheel: An Interactive Data Cleaning System
Cleaning data of errors in structure and content is important for data warehousing and integration. Current solutions for data cleaning involve many iterations of data “auditing...
Vijayshankar Raman, Joseph M. Hellerstein
231
Voted
ISER
1997
Springer
202views Robotics» more  ISER 1997»
15 years 11 months ago
Interactive Visual and Force Rendering of Human-Knee Dynamics
The kinematics and force/displacement relationships of elements of biological joints are notoriously difficult to understand. In particular, the human knee has bearing surfaces o...
Randy E. Ellis, P. Zion, C. Y. Tso
ATAL
2006
Springer
15 years 10 months ago
Specifying and resolving preferences among agent interaction patterns
A strength of commitment protocols is that they enable agents to act flexibly, thereby enabling them to accommodate varying local policies and respond to exceptions. A consequent ...
Ashok U. Mallya, Munindar P. Singh