1514 search results - page 150 / 303 » Best-Order Streaming Model |
143
click to vote
VRML
2004
ACM
15 years 11 months ago
2004
ACM
This paper addresses the problem of streaming progressively compressed 3-D models over lossy networks. Out of all encoded packets that can be transmitted, we intelligently choose ...
143
click to vote
DISCEX
2003
IEEE
15 years 10 months ago
2003
IEEE
Efforts toward automated detection and identification of multistep cyber attack scenarios would benefit significantly from a methodology and language for modeling such scenario...
138
click to vote
ASM
2008
ASM
15 years 7 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
171
click to vote
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
Developing a functional prototype of a system-on-chip provides a unifying vehicle for model validation and system refinement. Keeping the prototype executable everal abstraction l...
167
click to vote
ACL
1997
15 years 6 months ago
1997
To understand a speaker’s turn of a conversation, one needs to segment it into intonational phrases, clean up any speech repairs that might have occurred, and identify discourse...